Skip to content

Pull requests: seL4/util_libs

New pull request New
12 Open 143 Closed
12 Open 143 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
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

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 Loading…
libplatsupport/morello: Add basic drivers for morello-soc
#177 opened Jan 31, 2024 by heshamelmatary Loading…
libplatsupport/morello: Add basic drivers for fvp
#175 opened Jan 30, 2024 by heshamelmatary Loading…
morello: Add support for QEMU platform
#172 opened Jan 11, 2024 by heshamelmatary Loading…
7
[FIX] Fix bcm pl011 UART hw-build all sel4test hardware builds
#168 opened Sep 1, 2023 by FelixSchladt Loading…
16
Add pine64 star64 platform enhancement
#167 opened Aug 21, 2023 by canarysnort01 Loading…
25
Update libftd to v1.7.0
#163 opened May 30, 2023 by axel-h • Draft
libplatsupport: separate drivers from platforms enhancement hw-build all sel4test hardware builds
#157 opened May 8, 2023 by axel-h Loading…
2
Imx8mm compatibility
#126 opened Mar 11, 2022 by lucypa Loading…
8
libethdrivers,imx: Reintroduce ethif_imx6_init
#112 opened Nov 17, 2021 by kent-mcleod Loading…
8
fix: patches from kent
#99 opened Aug 16, 2021 by ridale • Draft
15
ProTip! Exclude everything labeled bug with -label:bug.