Open Kernel Labs Receives $2.5M Research Grant, Aims To Embed OS And Virtualization In Mobile Devices

Open Kernel Labs

Open Kernel Labs (OK Labs), a provider of embedded systems software and virtualization technology, announced today that it has won a $2.5M research grant under AusIndustry’s “Commercial Ready” program, which awards funds to enterprises that demonstrate the highest potential for innovation and its commercialization. The funds will be used to initiate a research, development and commercialization project centered on a technology transfer agreement with Australian research lab NICTA.

Open Kernel Labs

This investment will support research, prototyping and early stage commercialization, which will add unprecedented capabilities to OK Labs’ Secure HyperCell technology. Work under the grant will include the complete formal verification of the OKL4 microkernel and support enhancements to OKL4 that enable “better-designed and more secure software for mobile devices and consumer electronics”. The outcome aims to be a platform uniquely able to support resource-constrained, security- and safety-critical embedded devices.

Secure HyperCell technology provides a secure environment for operating systems, applications and drivers on mobile devices. More details regarding the development and commercialization from the project and its integration with OKL4 are expected to be announced at a later date. We’ll keep you updated!

[Source: VMBlog]

About the author

I'm a blogger, entrepreneur, conference organizer, social media consultant, startup advisor and allround web addict, based in Belgium, Europe. I'm a writer at TechCrunch and managing editor of

Leave a Comment

Powered by WordPress | Deadline Theme : An AWESEM design