This is a pointless discussion when the USB bootloader already exists, in the form of edk2. See my (two) replies multiple levels above. Of course, the RISC-V

This is a pointless discussion when the USB bootloader already exists, in the form of edk2. See my (two) replies multiple levels above. Of course, the RISC-V edk2 port is a funded effort. And of course, I am glad I could get the first mass-produced RISC-V SBC 2 years ago instead of now. Had they waited until the UEFI-based firmware was done rather than shipped them two years ago, it would have significantly delayed the entire RISC-V ecosystem.