Open Kernel Labs: Perbedaan antara revisi
Tampilan
Konten dihapus Konten ditambahkan
Rescuing 2 sources and tagging 0 as dead.) #IABot (v2.0.8 |
Rescuing 0 sources and tagging 1 as dead.) #IABot (v2.0.8 |
||
Baris 19: | Baris 19: | ||
* [http://ok-labs.com Open Kernel Labs homepage] {{Webarchive|url=https://web.archive.org/web/20070303102514/http://ok-labs.com/ |date=2007-03-03 }} |
* [http://ok-labs.com Open Kernel Labs homepage] {{Webarchive|url=https://web.archive.org/web/20070303102514/http://ok-labs.com/ |date=2007-03-03 }} |
||
* [http://wiki.ok-labs.com/ Open Kernel Labs Community Wiki] {{Webarchive|url=https://web.archive.org/web/20110516140001/http://wiki.ok-labs.com/ |date=2011-05-16 }} |
* [http://wiki.ok-labs.com/ Open Kernel Labs Community Wiki] {{Webarchive|url=https://web.archive.org/web/20110516140001/http://wiki.ok-labs.com/ |date=2011-05-16 }} |
||
* [http://nicta.org.au NICTA home page] |
* [http://nicta.org.au NICTA home page]{{Pranala mati|date=April 2021 |bot=InternetArchiveBot |fix-attempted=yes }} |
||
* {{cite web|url=http://www.linuxfordevices.com/c/a/News/NICTA-sel4-OK-Labs-OKL4/|title=LinuxDevices.com — Hypervisor Claimed 100% Bug Free|archiveurl=http://archive.is/vh50R|archivedate=2013-01-27}} |
* {{cite web|url=http://www.linuxfordevices.com/c/a/News/NICTA-sel4-OK-Labs-OKL4/|title=LinuxDevices.com — Hypervisor Claimed 100% Bug Free|archiveurl=http://archive.is/vh50R|archivedate=2013-01-27}} |
||
Revisi per 2 April 2021 13.25
![]() | |
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 |
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
- ^ General Dynamics acquires NICTA start-up Open Kernel Labs. NICTA, September 12, 2012.
Pranala luar
- 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.