Feeds

NICTA micro-kernel trailblazers slurped by US defense giant

General Dynamics buys OK Labs for "provably secure" kernel

  • alert
  • submit to reddit

Intelligent flash storage arrays

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 start-up which has been incubated by NICTA , specialises in software virtualisation for wireless communications, applications and content for mobile devices and automotive in-vehicle infotainment systems (IVI).

When launched, the OK Labs kernel was described as offering "mathematically provable" freedom from various kinds of errors that needed four years' of work on its 7,500 lines of code.

The acquisition will see the Sydney based R&D team of around 100 engineers s and software developers retained and become part of a new division of the US company. The expansion will be spearheaded by OK Labs co-founder and CEO Steve Subar.

“As part of General Dynamics, we will continue to deliver innovation and excellence in the areas of mobile and automotive virtualisation. I am looking forward to leading this expert team as we meet the growing needs of military, government, and commercial customers,” Subar said. Subar spun the company out of a NICTA project in 2007 where he was previously Entrepreneur-in-Residence.

The original team of 12 developed an operating system micro-kernel, called the secure embedded L4 (seL4) microkernel, mathematically established as free of many types of errors. The development points the road toward "safety-critical software of unprecedented levels of reliability" for applications such as aircraft and cars.

Four years of work went into the micro-kernel development which involved boffins going through 7,500 lines of code written in the C programming language. ®

Choosing a cloud hosting partner with confidence

More from The Register

next story
MI6 oversight report on Lee Rigby murder: US web giants offer 'safe haven for TERRORISM'
PM urged to 'prioritise issue' after Facebook hindsight find
Assange™ slumps back on Ecuador's sofa after detention appeal binned
Swedish court rules there's 'great risk' WikiLeaker will dodge prosecution
You think the CLOUD's insecure? It's BETTER than UK.GOV's DATA CENTRES
We don't even know where some of them ARE – Maude
NSA mass spying reform KILLED by US Senators
Democrats needed just TWO more votes to keep alive bill reining in some surveillance
prev story

Whitepapers

Why and how to choose the right cloud vendor
The benefits of cloud-based storage in your processes. Eliminate onsite, disk-based backup and archiving in favor of cloud-based data protection.
Forging a new future with identity relationship management
Learn about ForgeRock's next generation IRM platform and how it is designed to empower CEOS's and enterprises to engage with consumers.
Designing and building an open ITOA architecture
Learn about a new IT data taxonomy defined by the four data sources of IT visibility: wire, machine, agent, and synthetic data sets.
How to determine if cloud backup is right for your servers
Two key factors, technical feasibility and TCO economics, that backup and IT operations managers should consider when assessing cloud backup.
High Performance for All
While HPC is not new, it has traditionally been seen as a specialist area – is it now geared up to meet more mainstream requirements?