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.