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.