Feeds

NICTA micro-kernel trailblazers slurped by US defense giant

General Dynamics buys OK Labs for "provably secure" kernel

  • alert
  • submit to reddit

High performance access to file storage

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. ®

High performance access to file storage

More from The Register

next story
Dropbox defends fantastically badly timed Condoleezza Rice appointment
'Nothing is going to change with Dr. Rice's appointment,' file sharer promises
Audio fans, prepare yourself for the Second Coming ... of Blu-ray
High Fidelity Pure Audio – is this what your ears have been waiting for?
Did a date calculation bug just cost hard-up Co-op Bank £110m?
And just when Brit banking org needs £400m to stay afloat
MtGox chief Karpelès refuses to come to US for g-men's grilling
Bitcoin baron says he needs another lawyer for FinCEN chat
Zucker punched: Google gobbles Facebook-wooed Titan Aerospace
Up, up and away in my beautiful balloon flying broadband-bot
Apple DOMINATES the Valley, rakes in more profit than Google, HP, Intel, Cisco COMBINED
Cook & Co. also pay more taxes than those four worthies PLUS eBay and Oracle
It may be ILLEGAL to run Heartbleed health checks – IT lawyer
Do the right thing, earn up to 10 years in clink
prev story

Whitepapers

Top three mobile application threats
Learn about three of the top mobile application security threats facing businesses today and recommendations on how to mitigate the risk.
Combat fraud and increase customer satisfaction
Based on their experience using HP ArcSight Enterprise Security Manager for IT security operations, Finansbank moved to HP ArcSight ESM for fraud management.
The benefits of software based PBX
Why you should break free from your proprietary PBX and how to leverage your existing server hardware.
Five 3D headsets to be won!
We were so impressed by the Durovis Dive headset we’ve asked the company to give some away to Reg readers.
SANS - Survey on application security programs
In this whitepaper learn about the state of application security programs and practices of 488 surveyed respondents, and discover how mature and effective these programs are.