Kernel-Labs öffnen - Open Kernel Labs

Kernel-Labs öffnen
Art Privatgelände
Industrie Computer - Software
Gegründet 2006 ; Vor 15 Jahren in Sydney , Australien ( 2006 )
Schicksal Erworben von General Dynamics C4 Systems
Nachfolger Zahnradsysteme
Hauptquartier Chicago , Illinois, USA
Schlüsselpersonen
 Steve Subar, Mitbegründer, CEO
Gernot Heiser , Mitbegründer, CTO
Produkte OKL4- Mikrokernel und Hypervisor
Webseite gdmissionsystems .com /products /cross-domain-solutions /hypervisor

Öffnen Kernel Labs ( OK Labs ) ist ein Unternehmen in Privatbesitz, die sich entwickelt Mikro - Kernel basierende Hypervisoren und Betriebssysteme für eingebettete Systeme . Das Unternehmen wurde 2006 von Steve Subar und Gernot Heiser als Spinout von NICTA gegründet . Es hat seinen Hauptsitz in Chicago , während Forschung und Entwicklung in Sydney , Australien , angesiedelt waren . Das Unternehmen wurde im September 2012 von General Dynamics übernommen.

Produkte

OKL4 Mikrovisor

Der OKL4 Microvisor ist eine Open-Source-Softwaresystem -Softwareplattform für eingebettete Systeme , die als Hypervisor und als einfaches Echtzeit-Betriebssystem mit Speicherschutz verwendet werden kann . Es ist eine Variante des L4- Mikrokernels . OKL4 ist ein Hypervisor vom Typ I und läuft auf Single- und Multi-Core-Prozessoren basierend auf ARM- , MIPS- und x86- Prozessoren.

OKL4 wurde auf über 2 Milliarden Mobiltelefonen eingesetzt, sowohl als Basisbandprozessor- Betriebssystem als auch zum Hosten von Gastbetriebssystemen. Am bemerkenswertesten und sichtbarsten ist der Design-Win des Unternehmens bei Motorola für das Evoke QA4-Messaging-Telefon, das erste Telefon, das Virtualisierung einsetzt, um zwei gleichzeitige Betriebssysteme ( Linux und Binary Runtime Environment for Wireless (BREW)) auf einem Prozessorkern zu unterstützen.

Paravirtualisierte Gastbetriebssysteme

OK Labs liefert auch einbaufertige paravirtualisierte Gastanwendungsbetriebssysteme , darunter OK:Symbian ( SymbianOS ), OK:Linux ( Linux ), OK:Windows ( Windows ) und OK:Android ( Android ).

Hardware-Virtualisierung

Der OKL4 Microvisor unterstützt ARM-Hardware-Virtualisierungserweiterungen, wie sie im Cortex-A15-Prozessor eingeführt wurden. Die Verwendung von Hardwarevirtualisierung reduziert die erforderlichen Änderungen an einem Gastbetriebssystem erheblich.

Hintergrund

OK Labs und OKL4 sind das Ergebnis der Zusammenarbeit zwischen Wissenschaft, Wirtschaft und Open-Source-Entwicklung. Die Technologie von OK Labs leitet sich vom L4-Mikrokernel ab , der Anfang der 1990er Jahre im deutschen Forschungslabor GMD entstand und am IBM Watson Research Center , der Universität Karlsruhe in Deutschland, der University of New South Wales und NICTA in Australien weiterentwickelt wurde. Als kommerzielle Unternehmen wurden OK Labs und OKL4 2006 von NICTA mit weiteren Investitionen von Citrix und anderen Venture-Partnern gegründet. Die Technologie von OK Labs profitiert weiterhin von Verbindungen zu Hochschulen und Forschungsprojekten, zu NICTA und zur globalen Open-Source-Community.

Erwerb

Das Unternehmen wurde im September 2012 von General Dynamics übernommen und hat seitdem sein Büro in Sydney geschlossen. Im Februar 2014 wurde Cog Systems von ehemaligen Mitarbeitern der Open Kernel Labs gegründet und setzt die Entwicklung von OKL4 in Sydney fort. Im April 2019 ging Cog Systems in Liquidation und wurde geschlossen.

Siehe auch

Verweise

Externe Links