Issues
- seL4 multikernel IPI APIRFC-17Gerwin Klein
- Add new capability for the PMURFC-16Krishnan Winter
- Support CHERI/Morello in seL4RFC-15Hesham Almatary
- MCS: Adding budget limit thresholds to endpoints for SC DonationRFC-14Mitchell Johnston
- MCS: Improve constraints on grant via replyRFC-13Matthew Brecknell
- The seL4 Device Driver FrameworkRFC-12Lucy Parker
- MCS: set fault and timeout handler parameters while configuring TCBsRFC-11Corey Lewis
- AArch64: remove VSpace object types, seL4_ARM_PageDirectory and seL4_ARM_PageUpperDirectoryRFC-10Resolved issue: RFC-10Kent McLeod
- Add new capability for seL4 SMC ForwardingRFC-9Resolved issue: RFC-9Robbie VanVossen
- Remove support for ARMv6 (KZM/i.MX31)RFC-8Resolved issue: RFC-8Gerwin Klein
- Removing CNode_MutateRFC-7Resolved issue: RFC-7
- The seL4 CoreRFC-6
- The seL4 Microkit (was "seL4 Core Platform")RFC-5Ivan Velickovic
- Ability to build additional bootloaders inside the seL4 build systemRFC-4Alex Pavey
- Cross-platform thread-local storage supportRFC-3Resolved issue: RFC-3Curtis Millar
- A dedicated C runtime for seL4RFC-2Resolved issue: RFC-2Curtis Millar
- An RFC process for the seL4 ecosystem.RFC-1Resolved issue: RFC-1Curtis Millar
17 of 17
