3 ms·

If you absolutely hate it, it is still fortunately possible to have SBI without UEFI.

• bpye 4y ago
  I’ve played around with some toy kernel stuff on RISC-V - SBI is refreshingly simple.