Open Kernel Labs
Jenis perusahaan
Swasta
Didirikan2006
Kantor pusatChicago, Il, USA
Tokoh kunci
Steve Subar, pendiri dan CEO, Gernot Heiser, pendiri dan CTO
ProdukMikrokernel OKL4 berbasis hipervisor
Situs webok-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]

Referensi

sunting
  1. ^ General Dynamics acquires NICTA start-up Open Kernel Labs. NICTA, September 12, 2012.

Pranala luar

sunting
  • 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 asli tanggal 2013-01-27. Diakses tanggal 2014-01-24.

📚 Artikel Terkait di Wikipedia

Unix

multi-tasking dan multi-user. Pengembangannya dimulai dari tahun 1970-an di Bell Labs oleh Ken Thompson, Dennis Ritchie, dan lain-lain. Awalnya ditujukan untuk

Linus Torvalds

rekayasawan perangkat lunak Finlandia yang dikenal sebagai perintis pengembangan Kernel Linux. Ia sekarang bertindak sebagai koordinator proyek tersebut. Linux

C (bahasa pemrograman)

menyebutnya B Baru (NB).[15] Thompson mulai menggunakan NB untuk menulis kernel Unix, dan persyaratannya membentuk arah pengembangan bahasa.[15][16] Hingga

C++

besar. Saat Stroustrup mulai bekerja pada AT&T Bell Labs, dia mempunyai masalah menganalisi kernel UNIX sehubungan dengan komputasi terdistribusi. Mengingat

Android (sistem operasi)

Samsung bekerja sama dengan General Dynamics melalui proyek "Knox" Open Kernel Labs. Pada September 2013, terungkap bahwa badan intelijen Amerika Serikat

Daftar distribusi Linux

sistem operasi mirip Unix yang menggunakan kernel Linux sebagai kernelnya. Kernel Linux adalah sebuah kernel sistem yang dibuat oleh Linus Torvalds dan

Perang Unix

Design, Inc. Unix Wars The UNIX Wars Machine (Bell Labs) The UNIX System – History and Timeline (The Open Group) Unix Standards (Eric S. Raymond, The Art

Ekspresi reguler

industri seperti ISO SGML (didahului oleh "GCA 101-1983" ANSI) berkonsolidasi. Kernel dari standar bahasa spesifikasi struktur terdiri dari ekspresi reguler.