[aappleby]

Proooobably? I've written bare-metal bootloaders for RISC-V chips (though running seL4 and not Linux) and there's a _lot_ less stuff in the startup process than on x86/x64.

[shrubble]

That is great to hear, actually! Thank you.