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.
Unmanned aerial vehicles (UAVs) using NICTA’s secure seL4 kernel have survived penetration testing.
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.