Feeds

NICTA micro-kernel trailblazers slurped by US defense giant

General Dynamics buys OK Labs for "provably secure" kernel

  • alert
  • submit to reddit

Secure remote control for conventional and virtual desktops

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

Secure remote control for conventional and virtual desktops

More from The Register

next story
The 'fun-nification' of computer education – good idea?
Compulsory code schools, luvvies love it, but what about Maths and Physics?
Facebook, Apple: LADIES! Why not FREEZE your EGGS? It's on the company!
No biological clockwatching when you work in Silicon Valley
Happiness economics is bollocks. Oh, UK.gov just adopted it? Er ...
Opportunity doesn't knock; it costs us instead
Ex-US Navy fighter pilot MIT prof: Drones beat humans - I should know
'Missy' Cummings on UAVs, smartcars and dying from boredom
Yes, yes, Steve Jobs. Look what I'VE done for you lately – Tim Cook
New iPhone biz baron points to Apple's (his) greatest successes
Lords take revenge on REVENGE PORN publishers
Jilted Johns and Jennies with busy fingers face two years inside
Sysadmin with EBOLA? Gartner's issued advice to debug your biz
Start hoarding cleaning supplies, analyst firm says, and assume your team will scatter
Edward who? GCHQ boss dodges Snowden topic during last speech
UK spies would rather 'walk' than do 'mass surveillance'
Doctor Who's Flatline: Cool monsters, yes, but utterly limp subplots
We know what the Doctor does, stop going on about it already
prev story

Whitepapers

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.
Cloud and hybrid-cloud data protection for VMware
Learn how quick and easy it is to configure backups and perform restores for VMware environments.
Three 1TB solid state scorchers up for grabs
Big SSDs can be expensive but think big and think free because you could be the lucky winner of one of three 1TB Samsung SSD 840 EVO drives that we’re giving away worth over £300 apiece.
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 for virtualized datacentres
Legacy security solutions are inefficient due to the architectural differences between physical and virtual environments.