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

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 NICTA-developed super-secure seL4 microkernel will head into space later this year as one of a number of experiments set to be carried out by Australian built ‘CubeSats’. The federal government ...

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

Parts of the seL4 secure operating system have been released as open source. The seL4 (secure embedded L4) operating system has the unusual characteristic of including a kernel mathematically proved ...

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

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

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

National ICT Australia today formally released the secure seL4 operating system as open source in order to spur an international uptake. NICTA has partnered with United States military technology ...