Get the latest tech news
Lions OS: secure – fast – adaptable
Authors School of Computer Science and Engineering UNSW, Sydney 2052, Australia Abstract seL4 is the world's most secure operating system (OS) kernel, but it is a far cry from being an OS. As a microkernel, it provides core mechanisms for securely multiplexing the hardware, but none of the services application programmers expect, so adopters are forced to develop those themselves.
As a microkernel, it provides core mechanisms for securely multiplexing the hardware, but none of the services application programmers expect, so adopters are forced to develop those themselves. I will present our initial results that show that, with the right design, this simplicity can not only achieve excellent performance (outperforming Linux networking) but also enable proofs of implementation correctness. The talk serves as the public launch of Lions OS -- needless to say, it's open source.
Or read this on Hacker News