Let me first start off with saying that Genode, Nova and VirtualBox works flawlessly - I can boot (an Intel-based machine) and go into either a command line or GUI environment.  The problem is when I try using seL4.  I can compile this without any errors.  The ISO image is made perfectly, it boots to this image on the same hardware - but that's where it stops.  One time only I was able to see the loading screen of TinyCore Linux within VirtualBox but the boot time for this took about 45 minutes and I was unable to reproduce this boot.

I guess my first question is this - does seL4 have the necessary virtualization support for this module?  If so, how can I make this work reliably?

--