how to build an ISO for sel4
minskey.guo at outlook.com
Wed Aug 21 03:34:07 CEST 2019
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