seL4 kernel to head into space
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.