Jump to content

Open Kernel Labs

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Jaroschster (talk | contribs) at 17:16, 2 April 2009 (Created page). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)
Open Kernel Labs
Company typePrivate
Founded2006
HeadquartersChicago, Il, USA
Key people
Steve Subar, founder and CEO, Gernot Heiser, founder and CTO
Websitewww.ok-labs.com Edit this on Wikidata

Open Kernel Labs is a privately owned company that develops microkernel-based hypervisors and operating systems for embedded systems. The company was founded in 2006 by Steve Subar and Gernot Heiser as a spinout from NICTA. It is headquartered in Chicago, while research and development is located in Sydney, Australia.

Products

OKL4

OKL4 is an open source system software platform for embedded systems that can be used as a hypervisor as well as a simple real-time operating system with memory protection. OKL4 is built around an L4 microkernel. The company claims deployment on 300 million devices, mostly mobile phones.

OKL4 runs on platforms based on ARM, x86 and MIPS processors.

Competitors

Open Kernel Labs competes with VMware and VirtualLogix.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Open_Kernel_Labs&oldid=281323513"