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

[g4 at ...461...]

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.