Boot it in qemu:
build/make-4.2/make BOARD=qemu-coreboot run
Issues with emulation:
- TPM is not available
- Xen won’t start dom0 correctly, but it is sufficient to test that the
initrd.cpiofile was correctly generated
- This also lets us test Xen patches for legacy-free systems
- SATA controller sometimes takes minutes to timeout?