Open Kernel Labs

Open Kernel Labs
Open Kernel Labs
Type Private
Founded 2006
Headquarters Chicago, Il, USA
Key people Steve Subar, founder and CEO, Gernot Heiser, founder and CTO
Products OKL4 microkernel-based hypervisor
Website ok-labs.com

Open Kernel Labs (OK 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.

Contents

Products

OKL4 Microvisor

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. The OKL4 "microvisor" is based upon the L4 microkernel. OKL4 is a Type I Embedded Hypervisor and runs on single- and multi-core platforms based on ARM, x86 and MIPS processors.

OKL4 has been deployed on over 300 million devices, mostly mobile phones, both as a baseband operating system and for hosting guest operating systems. Most notable and visible is the company's design win at Motorola for the Evoke QA4 messaging phone, the first phone which employs virtualization to support two concurrent operating systems (Linux and BREW) on a single processor core.

Paravirtualized Guest OSes

OK Labs also supplies ready-to-integrate paravirtualized guest application operating systems, including OK:Symbian (SymbianOS), OK:Linux (Linux) and OK:Android (Android).

Background

OK Labs and OKL4 are the result of collaboration among academia, business, and open-source development. OK Labs technology is derived from the L4 microkernel which originated in the early 1990s at German research Lab GMD, further developed at IBM Watson Research Center, the University of Karlsruhe in Germany, the University of New South Wales and NICTA. As commercial ventures, OK Labs and OKL4 were launched by NICTA in 2006, with additional investment by Citrix and other venture partners. OK Labs technology continues to benefit from ties to academia and research projects, to NICTA, and to the global open-source community.

Awards & recognitions

In July 2010, Open Kernel Labs was recognized 2010 Hottest Companies in the Midwest” by Lead411.[1]

In May 2010, FierceWireless names Open Kernel Labs as one of its “Fierce 15” Wireless Companies of 2010.[2]

In January 2010, Mobile Virtualization Pioneer named Open Kernel Labs a Finalist In Red Herring 2009 Global 100 Award.[3]

In September 2008, Open Kernel Labs named Best Product Finalist in Design News Magazine’s 2008 Golden Mousetrap Award.[4]

References

External links


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Open source hardware — refers to computer and electronic hardware that is designed in the same fashion as free and open source software. Open source hardware is part of the open source culture that takes the open source ideas to fields other than software. An example… …   Wikipedia

  • Open Source Lab — The Open Source Lab is a group at Oregon State University dedicated to supporting and developing Open Source software. A wide range of projects are hosted at the lab including Gentoo, Mozilla, Debian, and freenode. Development projects include… …   Wikipedia

  • Kernel (computer science) — In computer science, the kernel is the central component of most computer operating systems (OS). Its responsibilities include managing the system s resources (the communication between hardware and software components). As a basic component of… …   Wikipedia

  • Kernel panic — Linux 2.6 не может смонтировать корневую файловую систему. Kernel panic (англ.: тревога, сбой в ядре)  сообщение о критической о …   Википедия

  • Open source video game — FlightGear flight simulator An open source video game, or simply an open source game, is a video game whose source code is open source. They are often freely distributable and sometimes cross platform compatible. Many are included in Linux… …   Wikipedia

  • Plan 9 from Bell Labs — Infobox OS name = Plan 9 from Bell Labs caption = Glenda, the Plan 9 Bunny developer = Bell Labs source model = Free software/Open source kernel type = Hybrid supported platforms = x86, MIPS, DEC Alpha, SPARC, PowerPC, ARM ui = rio / rc family =… …   Wikipedia

  • Comparison of open source operating systems — These tables compare the various free software / open source operating systems. Where not all of the non EOL versions support a feature, the first version which support it is listed. Contents 1 General information 2 Supported architectures 3… …   Wikipedia

  • Mach (kernel) — Mach is an operating system microkernel developed at Carnegie Mellon University to support operating system research, primarily distributed and parallel computation. It is one of the earliest examples of a microkernel, and still the standard by… …   Wikipedia

  • L4 microkernel family — L4 is a family of second generation microkernels, generally used to implement Unix like operating systems, but also used in a variety of other systems. L4 was a response to the poor performance of earlier microkernel base operating systems.… …   Wikipedia

  • Hypervisor — In computing, a hypervisor, also called virtual machine monitor , is a virtualization platform that allows multiple operating systems to run on a host computer at the same time.ClassificationsHypervisors are currently classified in two types: [… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”