So it likely doesn't use BIOS or UEFI. I wonder if we're going to see the ARM situation where every distro will need a custom image just for this board/architecture. I wonder if we'll see support in mainline for this arch/platform.