Search results

libpci doesn't handle multiple root complexes.

Status: Open.

#131 In seL4/util_libs;

· wom-bat opened on Jul 18, 2022

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

Status: Open.

#119 In seL4/util_libs;

· kent-mcleod opened on Feb 8, 2022

Merge serial driver for Quartz64 and Rockpro64

Status: Open.

#118 In seL4/util_libs;

· axel-h opened on Dec 30, 2021

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

Status: Open.

#116 In seL4/util_libs;

· axel-h opened on Dec 9, 2021

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

Status: Open.

#115 In seL4/util_libs;

· kent-mcleod opened on Dec 2, 2021

serial: Wrong baud rate applied on zynq7000

help wanted

Status: Open.

#74 In seL4/util_libs;

· ThreeFx opened on Mar 20, 2021

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

Status: Open.

#68 In seL4/util_libs;

· axel-h opened on Feb 18, 2021

Merge common code for RasPi 3 and 4

Status: Open.

#61 In seL4/util_libs;

· axel-h opened on Feb 4, 2021

Clearly document semantics of ltimer set_timeout functionality

Status: Open.

#54 In seL4/util_libs;

· bennoleslie opened on Sep 27, 2020

LTIMER_OVERFLOW_EVENT vs LTIMER_TIMEOUT_EVENT documentation

Status: Open.

#52 In seL4/util_libs;

· bennoleslie opened on Sep 27, 2020

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

Status: Open.

#51 In seL4/util_libs;

· bennoleslie opened on Sep 27, 2020

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

Status: Open.

#50 In seL4/util_libs;

· bennoleslie opened on Sep 27, 2020