I think there are plenty examples of potential changes over in the referenced Pre-RFC: Boot Interface It was precisely the fact that this conversation stalled out that I was looking for a different way of approaching the problem.
Related topics
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Pre-RFC: Boot Interface | 8 | 725 | February 19, 2021 | |
| Device Region Untypeds | 9 | 487 | June 16, 2021 | |
| Pre-RFC: Specify a fixed kernel ABI for each architecture | 21 | 1366 | November 10, 2020 | |
|
Bootloader Support in seL4 Tools Build System
|
2 | 295 | February 15, 2021 | |
| Pre-RFC: Build interface | 7 | 616 | September 4, 2021 |