To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

How to transfigure the Wikipedia

Would you like Wikipedia to always look as professional and up-to-date? We have created a browser extension. It will enhance any encyclopedic page you visit with the magic of the WIKI 2 technology.

Try it — you can delete it anytime.

Install in 5 seconds
4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
English Articles
Improved in 24 Hours
Added in 24 Hours
Languages
Recent
Show all languages
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
Great Wikipedia has got greater.
.
Leo
Newton
Brights
Milds

Open Kernel Labs

From Wikipedia, the free encyclopedia

Open Kernel Labs
TypePrivate
IndustryComputer software
Founded2006; 17 years ago (2006) in Sydney, Australia
FateAcquired by General Dynamics C4 Systems
SuccessorCog Systems
HeadquartersChicago, Illinois, United States
Key people
Steve Subar, cofounder, CEO
Gernot Heiser, cofounder, CTO
ProductsOKL4 microkernels and hypervisor
Websitegdmissionsystems.com/products/cross-domain-solutions/hypervisor

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 was headquartered in Chicago, while research and development was located in Sydney, Australia. The company was acquired by General Dynamics in September 2012.[1]

YouTube Encyclopedic

  • 1/5
    Views:
    2 709
    4 264
    2 190
    3 244
    7 382
  • On Graph Kernels
  • Kernel, Bryan Johnson, and Neuralink
  • Windows 10 Kernel Mitigations and Exploitation w/ Jaime Geiger & Stephen Sims - SANS HackFest Summit
  • Developing on AWS F1 with SDAccel and RTL Kernels - Part 1 of 4
  • Kernel Flow Technical Presentation - Photonics West 2021

Transcription

Products

OKL4 Microvisor

The OKL4 Microvisor is an open-source software system software platform for embedded systems that can be used as a hypervisor, and as a simple real-time operating system with memory protection. It is a variant of the L4 microkernel. OKL4 is a Type I hypervisor and runs on single- and multi-core processors based on ARM, MIPS, and x86 processors.[2]

OKL4 has been deployed on over 2 billion mobile phones,[3] both as a baseband processor 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 Binary Runtime Environment for Wireless (BREW)) on one processor core.[4]

Paravirtualized guest OSes

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

Hardware virtualization

The OKL4 Microvisor supports ARM hardware virtualization extensions, as introduced in the Cortex-A15 processor. The use of hardware virtualization greatly reduces the changes required to a guest OS.

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 in Australia. As commercial ventures, OK Labs and OKL4 were launched by NICTA in 2006, with further 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.

Acquisition

The company was acquired by General Dynamics in September 2012 and has since closed its Sydney office. In February 2014, Cog Systems was founded by former Open Kernel Labs staff and continued OKL4 development in Sydney. In April 2019, Cog Systems went into liquidation and closed.[5]

See also

References

  1. ^ "General Dynamics acquires NICTA start-up Open Kernel Labs". NICTA. September 12, 2012.[dead link]
  2. ^ "Open Kernel Labs: Be open. Be safe". Okl4.org. 2008-08-12. Archived from the original on 2008-08-20. Retrieved 2014-02-02.
  3. ^ "Hypervisor Products". General Dynamics Mission Systems. Retrieved 16 November 2020.
  4. ^ "A Google Company". Motorola. 2013-12-30. Archived from the original on May 1, 2011. Retrieved 2014-02-02.
  5. ^ "Notice of Appointment as Liquidator". 2019-04-23.

External links

This page was last edited on 30 September 2023, at 13:08
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.
Contact WIKI 2
Introduction
Terms of Service
Privacy Policy