Skip to content

Pull requests: seL4/util_libs

New pull request New
Clear current search query, filters, and sorts
15 Open 154 Closed
15 Open 154 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

libethdrivers,imx: Reintroduce ethif_imx6_init
#112 opened Nov 17, 2021 by kent-mcleod Loading… updated Mar 8, 2022
8
fix: patches from kent
#99 opened Aug 16, 2021 by ridale • Draft updated Mar 9, 2022
15
Imx8mm compatibility
#126 opened Mar 11, 2022 by lucypa Loading… updated Mar 11, 2022
8
morello: Add support for QEMU platform
#172 opened Jan 11, 2024 by heshamelmatary Loading… updated Jan 12, 2024
7
libplatsupport/morello: Add basic drivers for fvp
#175 opened Jan 30, 2024 by heshamelmatary Loading… updated Jan 30, 2024
libplatsupport/morello: Add basic drivers for morello-soc
#177 opened Jan 31, 2024 by heshamelmatary Loading… updated Jan 31, 2024
[FIX] Fix bcm pl011 UART hw-build all sel4test hardware builds
#168 opened Sep 1, 2023 by FelixSchladt Loading… updated Mar 15, 2024
16
Update libftd to v1.7.0
#163 opened May 30, 2023 by axel-h • Draft updated May 21, 2024
libplatsupport: separate drivers from platforms enhancement hw-build all sel4test hardware builds
#157 opened May 8, 2023 by axel-h Loading… updated May 21, 2024
2
libplatsupport: use ltimer prefix for functions hw-build all sel4test hardware builds
#185 opened May 22, 2024 by axel-h Loading… updated May 22, 2024
pc99,libplatsupport: rename ega --> vga to keep device names consistent
#186 opened Jul 1, 2024 by ericspidledw Loading… updated Jul 1, 2024
Add pine64 star64 platform enhancement
#167 opened Aug 21, 2023 by canarysnort01 Loading… updated Mar 25, 2025
31
ltimer: enable timer for QEMU Arm arch timers
#198 opened Jul 2, 2025 by midnightveil Loading… updated Jul 2, 2025
3
Fix libplatsupport for Imx7
#187 opened Oct 8, 2024 by jcdubois Loading… updated Jul 14, 2025
Add support for BCM2712/Raspberry Pi 5B
#200 opened Oct 7, 2025 by Ivan-Velickovic Loading… updated Oct 14, 2025
9
ProTip! Mix and match filters to narrow down what you’re looking for.