Where's Benno when an Iguana needs a hang?

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

Done