Feeds

NICTA micro-kernel trailblazers slurped by US defense giant

General Dynamics buys OK Labs for "provably secure" kernel

  • alert
  • submit to reddit

Choosing a cloud hosting partner with confidence

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

Internet Security Threat Report 2014

More from The Register

next story
Bladerunner sequel might actually be good. Harrison Ford is in it
Go ahead, you're all clear, kid... Sorry, wrong film
Euro Parliament VOTES to BREAK UP GOOGLE. Er, OK then
It CANNA do it, captain.They DON'T have the POWER!
Musicians sue UK.gov over 'zero pay' copyright fix
Everyone else in Europe compensates us - why can't you?
I'll be back (and forward): Hollywood's time travel tribulations
Quick, call the Time Cops to sort out this paradox!
Megaupload overlord Kim Dotcom: The US HAS RADICALISED ME!
Now my lawyers have bailed 'cos I'm 'OFFICIALLY' BROKE
Forget Hillary, HP's ex CARLY FIORINA 'wants to be next US Prez'
Former CEO has political ambitions again, according to Washington DC sources
prev story

Whitepapers

10 ways wire data helps conquer IT complexity
IT teams can automatically detect problems across the IT environment, spot data theft, select unique pieces of transaction payloads to send to a data source, and more.
Getting started with customer-focused identity management
Learn why identity is a fundamental requirement to digital growth, and how without it there is no way to identify and engage customers in a meaningful way.
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.
Reg Reader Research: SaaS based Email and Office Productivity Tools
Read this Reg reader report which provides advice and guidance for SMBs towards the use of SaaS based email and Office productivity tools.
Security and trust: The backbone of doing business over the internet
Explores the current state of website security and the contributions Symantec is making to help organizations protect critical data and build trust with customers.