Open Kernel Labs

Open Kernel Labs (OK Labs) adalah perusahaan swasta yang mengembangkan mikrokernel berbasis hipervisor dan sistem operasi bagi sistem benam. Perusahaan ini didirikan pada tahun 2006 oleh Steve Subar dan Gernot Heiser sebagai cabang dari perusahaan NICTA. OK Labs berpusat di Chicago, sedangkan riset dan pengembangannya berlokasi di Sydney, Australia. Perusahaan ini diakuisisi oleh General Dynamics pada bulan September 2012.^[1]

Open Kernel Labs

Jenis perusahaan	Swasta
Didirikan	2006
Kantor pusat	Chicago, Il, USA
Tokoh kunci	Steve Subar, pendiri dan CEO, Gernot Heiser, pendiri dan CTO
Produk	Mikrokernel OKL4 berbasis hipervisor
Situs web	ok-labs.com