SAN FRANCISCO, April 7, 2020 /PRNewswire/ -- The Linux Foundation, the nonprofit organization enabling mass innovation through open source, today announced it will host the seL4 Foundation, the ...

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

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

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

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

First thing’s first: Yes, the Linux Foundation is working with Data61 — the digital specialist arm for Australia’s national science agency, Commonwealth Scientific and Industrial Research Organisation ...

CSIRO‘s Data61, the digital specialist arm of Australia’s national science agency, announced the creation of the seL4 Foundation, a not-for-profit organization, to accelerate 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 ...

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

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