Feeds

NICTA micro-kernel trailblazers slurped by US defense giant

General Dynamics buys OK Labs for "provably secure" kernel

  • alert
  • submit to reddit

New hybrid storage solutions

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

The next step in data security

More from The Register

next story
Phones 4u slips into administration after EE cuts ties with Brit mobe retailer
More than 5,500 jobs could be axed if rescue mission fails
JINGS! Microsoft Bing called Scots indyref RIGHT!
Redmond sporran metrics get one in the ten ring
Driving with an Apple Watch could land you with a £100 FINE
Bad news for tech-addicted fanbois behind the wheel
Murdoch to Europe: Inflict MORE PAIN on Google, please
'Platform for piracy' must be punished, or it'll kill us in FIVE YEARS
Phones 4u website DIES as wounded mobe retailer struggles to stay above water
Founder blames 'ruthless network partners' for implosion
Found inside ISIS terror chap's laptop: CELINE DION tunes
REPORT: Stash of terrorist material found in Syria Dell box
Sony says year's losses will be FOUR TIMES DEEPER than thought
Losses of more than $2 BILLION loom over troubled Japanese corp
prev story

Whitepapers

Providing a secure and efficient Helpdesk
A single remote control platform for user support is be key to providing an efficient helpdesk. Retain full control over the way in which screen and keystroke data is transmitted.
WIN a very cool portable ZX Spectrum
Win a one-off portable Spectrum built by legendary hardware hacker Ben Heck
Saudi Petroleum chooses Tegile storage solution
A storage solution that addresses company growth and performance for business-critical applications of caseware archive and search along with other key operational systems.
Protecting users from Firesheep and other Sidejacking attacks with SSL
Discussing the vulnerabilities inherent in Wi-Fi networks, and how using TLS/SSL for your entire site will assure security.
Security for virtualized datacentres
Legacy security solutions are inefficient due to the architectural differences between physical and virtual environments.