$ 0 0 @dennisgut !coreboot currently doesn't support !ARM SoCs. But the boot firmware on these boards is usually DAS U-Boot, which is !FS already.