Open Kernel Labs supplies software products and professional services to OEMs and other organizations developing and deploying intelligent devices. The company's development of microkernel technology and application of it to the creation of device software enables embedded virtualization, secure componentization, implementation, and verification.