# SEL4 VM Linux Boot in x86\_64 platform pc

**URL:** <https://sel4.discourse.group/t/sel4-vm-linux-boot-in-x86-64-platform-pc/527>\
**Category:** seL4 kernel\
**Created:** [June 2, 2022, 6:41am UTC](https://sel4.discourse.group/t/sel4-vm-linux-boot-in-x86-64-platform-pc/527 "2022-06-02T06:41:05Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![Rupan](https://avatars.discourse-cdn.com/v4/letter/r/d9b06d/32.png) [@Rupan](https://sel4.discourse.group/u/Rupan)\
**Post date:** [June 2, 2022, 6:41am UTC](https://sel4.discourse.group/t/sel4-vm-linux-boot-in-x86-64-platform-pc/527/1 "2022-06-02T06:41:05Z")

</div>

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](https://docs.sel4.systems/Hardware/IA32.html)). 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?