how to build an ISO for sel4

[guo minskey]

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