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 | 661 | February 19, 2021 | |
| Pre-RFC: Specify a fixed kernel ABI for each architecture | 21 | 1275 | November 10, 2020 | |
|
Bootloader Support in seL4 Tools Build System
|
2 | 269 | February 15, 2021 | |
| Pre-RFC: Build interface | 7 | 564 | September 4, 2021 | |
| Pre-RFC: interface specifications | 1 | 316 | November 11, 2020 |