Hello all, 
I have created this issue in the manifest repo. 
Issue : https://github.com/kernkonzept/manifest/issues/12

I am writing it again. 

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".

  1. Fiasco building successfully
image.png

  1. L4 runtime built successfully

Screen Shot 2022-02-04 at 4 18 24 AM

  1. Able to give a boot command. However the system requires a video card. So I moved to my Linux laptop and observed that the system boots beyond this error, but is not printing hello world.

Screen Shot 2022-02-04 at 4 25 57 AM

In my local laptop it just says booting from ROM and freezes.

Is there an alternate instruction for booting examples for ARM64 and AMD64 ?



Regards,
--
Ashwin Krishnakumar,
+15714980269
ECE Graduate Student,
Virginia Tech.