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.