RFC-4: Ability to build additional bootloaders inside the seL4 build system

seL4 / rfcs

RFCs for the seL4 ecosystem

https://sel4.github.io/rfcs/

Other

0 stars 1 forks source link

RFC-4: Ability to build additional bootloaders inside the seL4 build system #12

Closed lsf37 closed 3 months ago

lsf37 commented 4 months ago

This PR imports RFC-4. See there for the discussion so far.

The RFC is currently still open.

lsf37 commented 3 months ago

In concordance with the discussion on the Jira issue, the TSC rejected this RFC in the meeting on 2024-07-25.

The RFC was rejected not because supporting other loaders is not desirable, but because other loaders should not have to depend on the cmake build system. Since the RFC has been written, the Rust loader and the Microkit loader demonstrate how to do this, so the main goal of the RFC has been achieved without specific build system hooks.