RE: (New to Genode) A couple of questions ...

Hello Norman

you can add static IP settings to the <libc> config node of lighttpd, for example:

<libc stdin="/dev/null" stdout="/dev/log" stderr="/dev/log" ip_addr="10.0.1.2" gateway="10.0.1.5" netmask="255.255.255.0"> ...

</libc>

Got it and I'll come back to this as I seem to be having more fundamental problems.

Seoul relies in hardware virtualization support (VT). To run the scenario

inside

a virtual machine, you need to make sure that your virtual machine

supports

nested virtualization well. Alternatively, you may try booting the image

on a

real machine. The easiest way is to dump the ISO image to an USB stick via 'dd', and boot the machine from the USB stick.

Yes, this make sense. See my next set of questions :)

Thanks again.