Tolong jelaskan mengenai 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.