dd if=var/run/seoul-fancy.iso of=/dev/your_usb_stick_device bs=1M
The scenario will show Genode's launchpad, where you can start a virtual
machine by clicking on the blue text labeled "init". A new window will
appear with Tinycore Linux booting. Given that your machine is connected
to the internet (and a DHCP server is running on your network), you can
even browse the net using Firefox.
You can start a second Linux instance by clicking on the "init" button
again.
In this scenario, each virtual machine is just a regular node of
Genode's process tree, subjected to the same rigid security regime as in
effect for all processes of the Genode system.