-
Notifications
You must be signed in to change notification settings - Fork 98
Pull requests: seL4/util_libs
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Add support for BCM2712/Raspberry Pi 5B
#200
opened Oct 7, 2025 by
Ivan-Velickovic
Contributor
Loading…
ltimer: enable timer for QEMU Arm arch timers
#198
opened Jul 2, 2025 by
midnightveil
Contributor
Loading…
pc99,libplatsupport: rename ega --> vga to keep device names consistent
#186
opened Jul 1, 2024 by
ericspidledw
Loading…
libplatsupport: use ltimer prefix for functions
hw-build
all sel4test hardware builds
#185
opened May 22, 2024 by
axel-h
Member
Loading…
libplatsupport/morello: Add basic drivers for morello-soc
#177
opened Jan 31, 2024 by
heshamelmatary
Contributor
Loading…
libplatsupport/morello: Add basic drivers for fvp
#175
opened Jan 30, 2024 by
heshamelmatary
Contributor
Loading…
morello: Add support for QEMU platform
#172
opened Jan 11, 2024 by
heshamelmatary
Contributor
Loading…
[FIX] Fix bcm pl011 UART
hw-build
all sel4test hardware builds
#168
opened Sep 1, 2023 by
FelixSchladt
Loading…
libplatsupport: separate drivers from platforms
enhancement
hw-build
all sel4test hardware builds
#157
opened May 8, 2023 by
axel-h
Member
Loading…
libethdrivers,imx: Reintroduce ethif_imx6_init
#112
opened Nov 17, 2021 by
kent-mcleod
Member
Loading…
ProTip!
Filter pull requests by the default branch with base:master.