Hi, you may want to have a look at the L4Re userland and the Fiasco.OC microkernel[0] or the Genode[1] system. They are less geared to be pure research prototypes and have been designed with flexibility, extensibility and commercial applicability in mind. The Fiasco.OC microkernel and its userland have a scientific background[2] but have already proven to be usable in commercial products[e.g. 3] and also support multiple instances of Linux[4] and/or Android[5] without requiring writing the code first. The Genode system even supports VirtualBox on top of the Nova kernel[6]. They may provide you a quicker start to a usable product. Best regards, - Marcus Haehnel [0] http://l4re.org [1] http://genode.org [2] http://os.inf.tu-dresden.de/papers_ps/peterschild09_vtds_virtual_machines_ja... [3] https://www.genua.de/en/solutions/security-laptop-cyber-top.html [4] http://l4linux.org [5] http://l4android.org [6] http://genode.org/documentation/release-notes/14.02 On 2015-03-26 18:37, CACook@quantum-sci.com wrote:
After weeks trying to make Xen pass through an Intel IGP to the VM, I've finally found that it simply doesn't work. That's enough time spent on that....
My goal is to use a microkernel for hypervisor, which supports up to 10 VMs that perform various functions. The most challenging one is a VM which plays video using hardware accel of the integrated graphics processor, and sends and receives commands over a USB device. All my VMs will be CentOS.
From the FAQ I infer that it requires coding skills to do anything more than install base seL4. True? If not, have others set up an seL4 machine with multiple VMs and written how they did it and how it went?
I should note that I am not a coder, although I am well experienced with Linux admin and scripting.
_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel