It uses OpenSBI + uboot to boot. UEFI for RISC-V exists but not on this board. To be honest I haven’t got these boards working yet and won’t for another few days because I have cases, PSUs, NVMe etc on order to complete them. (But not GPUs, ouch those prices …)
I am Richard W.M. Jones, a computer programmer. I have strong opinions on how we write software, about Reason and the scientific method. Consequently I am an atheist [To nutcases: Please stop emailing me about this, I'm not interested in your views on it] By day I work for Red Hat on all things to do with virtualization. I am a "citizen of the world".
My motto is "often wrong". I don't mind being wrong (I'm often wrong), and I don't mind changing my mind.
This blog is not affiliated or endorsed by Red Hat and all views are entirely my own.
Richard WM Jones 
I wonder how it boots. Does it use Coreboot? I don’t suppose UEFI?
It uses OpenSBI + uboot to boot. UEFI for RISC-V exists but not on this board. To be honest I haven’t got these boards working yet and won’t for another few days because I have cases, PSUs, NVMe etc on order to complete them. (But not GPUs, ouch those prices …)
So UEFI is purely a main board feature and not related to the CPU? If that is true, is that also the case for x86?
When having an open platform, why would some want UEFI?
Do you have an ETA to have a working Fedora image?
It’s best to pop into #fedora-riscv on Libera.chat and ask us there.