Data61 ports seL4 microkernel to RISC-V architecture
Data61 has released an initial version of the seL4 microkernel for the RISC-V architecture
Data61 has released an initial version of the seL4 microkernel for the RISC-V architecture
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 today said it had officially authorised the launch of three miniature ‘CubeSats’ as part of the QB50 project.
The open source, Australian-developed secure microkernel seL4 has hit version 2.0.0, the project has announced.
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.
NICTA has created a video that demonstrates how its seL4 microkernel, the “world’s most highly assured OS”, can be used to operate drones.
seL4 microkernel, the “world’s most highly assured OS”, is set to go open source on 29 July, 2014.
Eight months after National ICT Australia (NICTA) released its secure embedded L4 (seL4) microkernel, it has moved closer to commercialisation with potential developments by the Department of Defence and the mining sector using the software.
Australian research organisation, NICTA claims to be the world's first to develop a formal machine-checked proof of a general-purpose operating system kernel, the Secure Embedded L4 (seL4).