seL4 / util_libs

seL4/util_libs Issues

Issues with BCM serial driver
Updated 9 months ago2
license question
Closed a year ago1
serial: Wrong baud rate applied on zynq7000
Updated 2 years ago2
libpci doesn't handle multiple root complexes.
Updated 2 years ago
this offset of MU_IIR and MU_IER is wrong , MU_IIR shoule 0x48 , MU_IER should 0x44
Closed 2 years ago2
Consider disabling prqueue workflow
Closed 2 years ago4
libplatsupport,zynqmp: Serial driver tries to reprogram baud rate incorrectly
Updated 3 years ago
Merge serial driver for Quartz64 and Rockpro64
Updated 3 years ago
libethdrivers: Nitrogen6_SoloX imx6 driver seems to have mdio register access issue
Updated 3 years ago12
i.-MX6 eth driver eth_plat.h should not include src/plat/imx6/enet.h
Updated 3 years ago
remove merged branch kent/fixup-minor-warnings
Closed 3 years ago1
ixm8m clocks implementation generates compiler warnings
Closed 3 years ago3
iMX8MQ-evk eth driver compilation failure
Closed 3 years ago3
delete merged branches
Closed 3 years ago1
Fix missing licenses from the Odroid C2 network driver
Closed 3 years ago1
GitLint action fails with obscure message about broken tool link
Closed 3 years ago5
LWIP is broken due to CAmkES DMA changes that honor caching flags now
Updated 3 years ago
Merge common code for RasPi 3 and 4
Updated 4 years ago
incorrect free size in imx ltimer destroy
Closed 4 years ago1
imx6 register layout for imx6_gpio_regs is broken
Closed 4 years ago1
SERIAL_AUTO_CR inconsistently implemented
Updated 4 years ago1
Clearly document semantics of ltimer set_timeout functionality
Updated 4 years ago
LTIMER_OVERFLOW_EVENT vs LTIMER_TIMEOUT_EVENT documentation
Updated 4 years ago
NULL check after usage in imx/gpt.c:gpt_init
Updated 4 years ago
imx/gpt.c allocate_register_callback asserts instead of returning an error
Updated 4 years ago
ps_fdt_read_path error handling inconsistent
Updated 4 years ago
chardev_map undocumented / doesn't support non page size `size`
Updated 4 years ago
Using the BIT macro for multi-bit register fields is confusing
Updated 4 years ago
i.MX timers can't handle timeouts in the past or too far into the future
Updated 6 years ago
libplatsupport: Serial on Exynos does not clear interrupt flags
Closed 8 years ago2
libplatsupport: SPI on Exynos does not use a 180 degree phase feedback
Closed 8 years ago1