[rbanffy]

There are some ARM and RISC-V boards that boot with an UEFI environment.

This is one: https://www.tomshardware.com/pc-components/motherboards/worl...