21 Aug
2019
21 Aug
'19
1:34 a.m.
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, -minskey