Thanks Marcus. I've already moved back to Xen now, and am working around its shortcomings. But I'll look at these other projects as I believe in microkernel.
On Thursday 02 April 2015 13:55:03 Marcus Hähnel wrote: > 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 _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
