8000 Pull requests · seL4/util_libs · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Pull requests: seL4/util_libs

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
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

Bump minimum CMake version
#194 opened May 21, 2025 by Ivan-Velickovic Loading…
Add support for SiFive Premier P550
#190 opened Feb 11, 2025 by Ivan-Velickovic Loading…
Fix libplatsupport for Imx7
#187 opened Oct 8, 2024 by jcdubois 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 fvp
#175 opened Jan 30, 2024 by heshamelmatary Loading…
morello: Add support for QEMU platform
#172 opened Jan 11, 2024 by heshamelmatary Loading…
[FIX] Fix bcm pl011 UART hw-build all sel4test hardware builds
#168 opened Sep 1, 2023 by FelixSchladt Loading…
Add pine64 star64 platform enhancement
#167 opened Aug 21, 2023 by canarysnort01 Loading…
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…
Imx8mm compatibility
#126 opened Mar 11, 2022 by lucypa Loading…
libethdrivers,imx: Reintroduce ethif_imx6_init
#112 opened Nov 17, 2021 by kent-mcleod Loading…
fix: patches from kent
#99 opened Aug 16, 2021 by ridale Draft
ProTip! Adding no:label will show everything without a label.
0