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.
Hi, So at present our VMM infrastructure is immature from the point of view of being easily configured and deployed. While there is an example project for running an x86 virtual machine on seL4 (https://github.com/seL4/camkes-vm-manifest), out of the box, only supports a single VM that has no hardware access. Supporting additional VMs and giving them access to hardware is all done programatically at the moment, and is fairly painful. This project is maturing, but the speed and direction is at the mercy of the specific research outcomes we need from it. Adrian On 27/03/15 04: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
________________________________ The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.
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
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_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
_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
participants (3)
-
Adrian Danis -
CACook＠quantum-sci.com -
Marcus Hähnel