I am trying to boot an AMD64 and ARM64 machine using fiasco. The Fiasco and L4 build works fine. We are able to generate the final elf also successfully. However the QEMU is unable to boot the machine. IT just freezes at startup with the comment "ROM booting".
In my local laptop it just says booting from ROM and freezes.
Is there an alternate instruction for booting examples for ARM64 and AMD64 ?