Open Kernel Labs
Open Kernel Labs logo | |
| Company type | Private |
|---|---|
| Industry | Computer software |
| Founded | 2006 in Sydney, Australia |
| Fate | Acquired by General Dynamics C4 Systems |
| Successor | Cog Systems |
| Headquarters | Chicago, Illinois, United States |
Key people | Steve Subar, cofounder, CEO Gernot Heiser, cofounder, CTO |
| Products | OKL4 microkernels and hypervisor |
| Website | gdmissionsystems |
Open Kernel Labs (OK Labs) is a privately owned company that develops microkernel-based hypervisors and operating systems for embedded systems. The company was founded in 2006 by Steve Subar and Gernot Heiser as a spinout from NICTA. It was headquartered in Chicago, while research and development was located in Sydney, Australia. The company was acquired by General Dynamics in September 2012.