The Australian open source seL4 microkernel project is set to expand its global reach after receiving support from the Linux Foundation. As the world’s first microkernel to be proven secure ...

A new and allegedly super secure microkernel was made open source today, a move that could have serious security implications across a number sensitive and increasingly connected fields. General ...