Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on SeL4 Whitepaper [pdf]. Parent comment
> seL4 is also a hypervisor. seL4 supports virtual machines that can run a fully fledged guest OS such as Linux
> seL4 is the world’s fastest microkernel
There are no comments on this comment yet.
> seL4 is also a hypervisor. seL4 supports virtual machines that can run a fully fledged guest OS such as Linux
> seL4 is the world’s fastest microkernel