Oh I know - I meant more "running L4 kernels", with the seL4 currently looking quite interesting. At what point do you conclude that you're: * running everyth

Oh I know - I meant more "running L4 kernels", with the seL4 currently looking quite interesting. At what point do you conclude that you're: * running everything in hypervisor X, thus hardware support doesn't matter * running only servers, thus desktops don't matter * and thusly, may stand more to gain from an environment that never catered to the above two?