how to build an ISO for sel4

guo minskey minskey.guo at
Wed Aug 21 03:34:07 CEST 2019

Hi,  all,

     Is there any guide to build an ISO for seL4/genode for x86_64 platform ?

I am new to Genode.  I downloaded an ISO ( built by alex ??),  which works
in qemu-kvm, but doesn't work on my  Intel NUC hardware.  I want to take
a look into it and see if I can enable it on my hardware.  But for the first step,
I have to know how to build an ISO. 

thanks in advance,

More information about the users mailing list