It is indeed awesome, but from a practical perspective it doesn't even compare with Xen. Hardware support is up to you. I think you can boot it on x86, but th

It is indeed awesome, but from a practical perspective it doesn't even compare with Xen. Hardware support is up to you. I think you can boot it on x86, but that's just the microkernel -- you have to add all the hardware support. I don't think seL4 is meant to run on servers either.