About Open Kernel Labs

Open Kernel Labs supplies software products and professional services to OEMs and other organizations developing and deploying intelligent devices. OK Labs leadership in development of microkernel technology and its application to the creation of device software enables embedded virtualization, secure componentization, trustworthy implementation, and verification, dramatically improving the development process for increasingly complex embedded systems software

Through the company’s uniquely structured collaboration with NICTA, a leading embedded systems software research organization, OK Labs commercializes research results to create breakthroughs in the productivity of embedded systems software development.

Mission/Vision

To help OEMs realize dramatic improvement in the delivery of reliable, secure, and safe embedded systems software by enabling assembly of complex software from trustworthy components in a verifiably trustworthy framework.