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_jailed.pdf
[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, [email protected] 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
[email protected]
https://sel4.systems/lists/listinfo/devel
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
