back to article NICTA micro-kernel trailblazers slurped by US defense giant

US aerospace and defence company General Dynamics has swooped on Australian virtualisation software developer Open Kernel Labs. OK Labs’ software currently sits on 1.6 billion devices around the world, enabling security for remote access to corporate and government assets while protecting everything that runs on the device. The …

COMMENTS

This topic is closed for new posts.
Anonymous Coward

Presumably they proved the correctness of the C compiler code, as well as the kernel code.

1
0
This topic is closed for new posts.

Forums