I am trying to boot SEL4 VM linux on a x86_64 platform but there isn’t proper instructions provided on how to boot via hdd or usb.
I tried to boot the generated images using the commands provided on how to make bootable usb ( PC99 | seL4 docs). But it gets stuck after
loading sel4kernal ok
loading rootserver ok
Does the SEL4 VM Linux output will also be in serial port?
How to boot sel4 linux vm in x86_64 pc?