SEL4 VM Linux Boot in x86_64 platform pc

Hello ,

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?