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 _______________________________________________ Genode users mailing list [email protected] https://lists.genode.org/listinfo/users
