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