[LeFantome]

Do you have a lot of experience with x86 SBCs?

The RISC-V server spec mandates UEFI, ACPI, and SBI. Here is a RISC-V “desktop” motherboard that has the same:

https://milkv.io/titan

[pezezin]

I have touched some PC-98 and FM Towns, which are x86 but not IBM PC compatible.

But I understand your point, ARM has its roots in embedded systems and it shows. I really hope that RISC-V learns from that mistake and focuses on standardization, the board you linked looks very promising.