Issues
AArch64: remove VSpace object types, seL4_ARM_PageDirectory and seL4_ARM_PageUpperDirectory | Unassigned | Kent McLeod | Unresolved | Mar 11, 2022 | Apr 14, 2022 | ||||||
Add new capability for seL4 SMC Forwarding | Unassigned | Robbie VanVossen | Unresolved | Nov 6, 2021 | Dec 20, 2021 | ||||||
Remove support for ARMv6 (KZM/i.MX31) | Unassigned | Matthew Brecknell | Implemented | Sep 15, 2021 | Sep 30, 2021 | ||||||
Removing CNode_Mutate | Unassigned | Gerwin Klein | Rejected | Aug 22, 2021 | Dec 17, 2021 | ||||||
The seL4 Core | Unassigned | Ben Leslie | Unresolved | Nov 19, 2020 | Jun 23, 2021 | ||||||
The seL4 Core Platform | Unassigned | Ben Leslie | Unresolved | Nov 19, 2020 | May 23, 2022 | ||||||
Ability to build additional bootloaders inside the seL4 build system | Unassigned | Alex Pavey | Unresolved | Sep 16, 2020 | Jan 29, 2021 | ||||||
Cross-platform thread-local storage support | Unassigned | Curtis Millar | Implemented | Jan 4, 2019 | Jul 1, 2019 | ||||||
A dedicated C runtime for seL4 | Unassigned | Curtis Millar | Implemented | Jan 4, 2019 | Jul 1, 2019 | ||||||
An RFC process for the seL4 ecosystem. | Unassigned | Curtis Millar | Implemented | Dec 13, 2018 | Sep 15, 2021 |
1-10 of 10