Open Kernel Labs

Open Kernel Labs

Jenis	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

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 homepage Diarsipkan 2007-03-03 di Wayback Machine.
• Open Kernel Labs Community Wiki Diarsipkan 2011-05-16 di Wayback Machine.
• NICTA home page^{[pranala nonaktif permanen]}
• "LinuxDevices.com — Hypervisor Claimed 100% Bug Free". Diarsipkan dari versi asli tanggal 2013-01-27. Diakses tanggal 2014-01-24.