In the Genode site there is a sreenshot showing VBox and Seoul VMMs on top of Genode / Nova.

Seoul executes TinyCore and VBox Win7 as Guest-OSes.

However, I could not find the corresponding run script.

I am trying to recreate a similar environment.

Actually I would like to evaluate a similar scenario where I could deploy and run multiple VMs running TC as Guest-Os.

I would like also to be able to control and see the VMs (enter the Guest-OS, start/stop the VM) from the Genode window as the screenshot shows.

------

Having said that, I´ve struggling to understand how to create a run script capable to build such Software System capable to boot from a USB.

I´ve ran successfully some scripts with QEMU: seoul-fancy.run, seoul-genode.

VirtualBox facing many problems, either on QEMU or USB stick.

So at first I would like to stick with Seoul. In this case, being able to run multiple VMs (Seoul+TinyCore) from Genode/Nova.

Which way shall I follow to create a run script that fullfils what I expect?

Is there already any run script?

Thanks for your attention and wonderful initiative with Genode.

Best regards,

            Roger