Issues

• libpci doesn't handle multiple root complexes.

  seL4/util_libs#131 · Filter by author wom-bat opened on Jul 18, 2022

• libplatsupport,zynqmp: Serial driver tries to reprogram baud rate incorrectly

  seL4/util_libs#119 · Filter by author kent-mcleod opened on Feb 8, 2022

• Merge serial driver for Quartz64 and Rockpro64

  seL4/util_libs#118 · Filter by author axel-h opened on Dec 30, 2021

• i.-MX6 eth driver eth_plat.h should not include src/plat/imx6/enet.h

  seL4/util_libs#116 · Filter by author axel-h opened on Dec 9, 2021

• libethdrivers: Nitrogen6_SoloX imx6 driver seems to have mdio register access issue

  seL4/util_libs#115 · Filter by author kent-mcleod opened on Dec 2, 2021
  12

• serial: Wrong baud rate applied on zynq7000

  help wanted
  seL4/util_libs#74 · Filter by author ThreeFx opened on Mar 20, 2021
  2

• LWIP is broken due to CAmkES DMA changes that honor caching flags now

  seL4/util_libs#68 · Filter by author axel-h opened on Feb 18, 2021

• Merge common code for RasPi 3 and 4

  seL4/util_libs#61 · Filter by author axel-h opened on Feb 4, 2021

• Clearly document semantics of ltimer set_timeout functionality

  seL4/util_libs#54 · Filter by author bennoleslie opened on Sep 27, 2020

• LTIMER_OVERFLOW_EVENT vs LTIMER_TIMEOUT_EVENT documentation

  seL4/util_libs#52 · Filter by author bennoleslie opened on Sep 27, 2020

• NULL check after usage in imx/gpt.c:gpt_init

  seL4/util_libs#51 · Filter by author bennoleslie opened on Sep 27, 2020

• imx/gpt.c allocate_register_callback asserts instead of returning an error

  seL4/util_libs#50 · Filter by author bennoleslie opened on Sep 27, 2020

• ps_fdt_read_path error handling inconsistent

  seL4/util_libs#49 · Filter by author bennoleslie opened on Sep 27, 2020

• SERIAL_AUTO_CR inconsistently implemented

  seL4/util_libs#48 · Filter by author bennoleslie opened on Sep 26, 2020
  1

• chardev_map undocumented / doesn't support non page size size

  seL4/util_libs#47 · Filter by author bennoleslie opened on Sep 26, 2020

• Using the BIT macro for multi-bit register fields is confusing

  seL4/util_libs#46 · Filter by author bennoleslie opened on Sep 25, 2020

• i.MX timers can't handle timeouts in the past or too far into the future

  seL4/util_libs#21 · Filter by author philipderrin opened on Feb 4, 2019