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.