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 ...

The Commonwealth Scientific and Industrial Research Organisation's (CSIRO) Data61 has completed the proof of implementation correctness of the open-source seL4 microkernel for the RISC-V ...

The seL4 microkernel, the “world’s most highly assured OS”, has just been released as open source, which will help it evolve beyond its military use, says NICTA. seL4 is a joint project between NICTA ...

However, SeL4 can be used, in theory, as a foundation for Linux and other Unix related operating systems. For example, it was briefly considered for use in Richard M. Stallman's still-born Gnu Hurd ...

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 ...

Unlock the full InfoQ experience by logging in! Stay updated with your favorite authors and topics, engage with content, and download exclusive resources. Soroosh Khodami discusses why we aren't ready ...

The Linux Foundation said today it’s hosting an initiative called the seL4 Foundation, a nonprofit organization that’s behind the development of the seL4 microkernel that aims to ensure the ...

The port is only in prototype stage and according torelease notes “currently only supports running in 64-bit mode without FPU or multicore support on the Spike simulation platform.” “There is no ...

A new global foundation will help Australia’s government scientific research organisation dramatically expand the reach of a mathematically-verified secure operating-system kernel for applications ...

The Linux Foundation is set to host a new global not-for-profit foundation established by the CSIRO’s Data61 to promote and fund the development of its security-focused microkernel, seL4. The secure ...

The University of NSW’s Trustworthy Systems research group has announced a collaboration with UAE-based Secure Systems Research Center (SSRC) to adopt its seL4 secure microkernel technology. The ...

Data61, the digital arm of Australia’s national science agency, CSIRO, has announced the creation of the seL4 Foundation, a not-for-profit organisation aimed at accelerating the development of the ...