>Also, why would you want to build Unix on top of seL4? Thank you very much for the link, and yes you are absolutely right. I should have wrote unix'i or plan9

>Also, why would you want to build Unix on top of seL4? Thank you very much for the link, and yes you are absolutely right. I should have wrote unix'i or plan9'i or better just a universal operating-system, i meant with that not just a hypervisor but a "real/full" os on top of seL4.