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