If you have an opinion on any of these RFCs before we vote on them on Fri, please comment on the Jira issue:
- Ability to build additional bootloaders inside the seL4 build system https://sel4.atlassian.net/browse/RFC-4
- The seL4 Core Platform https://sel4.atlassian.net/browse/RFC-5
- The seL4 Core https://sel4.atlassian.net/browse/RFC-6
Cheers, Gerwin