Open Kernel Labs ( OK Labs ) es una empresa privada que desarrolla hipervisores y sistemas operativos basados en microkernel para sistemas integrados . La empresa fue fundada en 2006 por Steve Subar y Gernot Heiser como una empresa derivada de NICTA . Tiene su sede en Chicago , mientras que la investigación y el desarrollo se encuentran en Sydney , Australia . La empresa fue adquirida por General Dynamics en septiembre de 2012. [1]
![]() Logotipo de Open Kernel Labs | |
Tipo | Privado |
---|---|
Industria | Software de computadora |
Fundado | 2006 Sydney , Australia | en
Destino | Adquirido por General Dynamics C4 Systems |
Sucesor | Sistemas de engranajes |
Sede | Chicago , Illinois, Estados Unidos |
Gente clave | Steve Subar, cofundador, CEO Gernot Heiser , cofundador, CTO |
Productos | OKL4 micronúcleos y hipervisor |
Sitio web | gdmissionsystems |
Productos
Microvisor OKL4
El OKL4 Microvisor es una plataforma de software de sistema de software de código abierto para sistemas integrados que se puede utilizar como un hipervisor y como un sistema operativo simple en tiempo real con protección de memoria . Es una variante del microkernel L4 . OKL4 es un hipervisor de Tipo I y se ejecuta en procesadores de uno y varios núcleos basados en procesadores ARM , MIPS y x86 . [2]
OKL4 se ha implementado en más de 2 mil millones de teléfonos móviles, [3] tanto como sistema operativo de procesador de banda base como para alojar sistemas operativos invitados. Lo más notable y visible es la victoria del diseño de la compañía en Motorola para el teléfono de mensajería Evoke QA4, el primer teléfono que emplea la virtualización para admitir dos sistemas operativos simultáneos ( Linux y Binary Runtime Environment for Wireless (BREW)) en un núcleo de procesador. [4]
SO invitados paravirtualizados
OK Labs también proporciona sistemas operativos de aplicaciones invitados paravirtualizados listos para integrar, incluidos OK: Symbian ( SymbianOS ), OK: Linux ( Linux ), OK: Windows ( Windows ) y OK: Android ( Android ).
Virtualización de hardware
El OKL4 Microvisor admite extensiones de virtualización de hardware ARM, como se introdujo en el procesador Cortex-A15. El uso de la virtualización de hardware reduce en gran medida los cambios necesarios en un SO huésped.
Fondo
OK Labs y OKL4 son el resultado de la colaboración entre la academia, los negocios y el desarrollo de código abierto. La tecnología de OK Labs se deriva del microkernel L4 que se originó a principios de la década de 1990 en el laboratorio de investigación alemán GMD, desarrollado en el IBM Watson Research Center , la Universidad de Karlsruhe en Alemania, la Universidad de Nueva Gales del Sur y NICTA en Australia. Como empresas comerciales, NICTA lanzó OK Labs y OKL4 en 2006, con inversiones adicionales de Citrix y otros socios de riesgo. La tecnología de OK Labs continúa beneficiándose de los vínculos con la academia y los proyectos de investigación, con NICTA y con la comunidad global de código abierto.
Adquisición
La compañía fue adquirida por General Dynamics en septiembre de 2012 y desde entonces ha cerrado su oficina en Sydney. En febrero de 2014, Cog Systems fue fundado por ex empleados de Open Kernel Labs y continúa el desarrollo de OKL4 en Sydney. En abril de 2019, Cog Systems entró en liquidación y cerró. [5]
Ver también
- Wombat (sistema operativo)
Referencias
- ^ "General Dynamics adquiere NICTA start-up Open Kernel Labs" . NICTA . 12 de septiembre de 2012.
- ^ "Open Kernel Labs: Sea abierto. Sea seguro" . Okl4.org. 2008-08-12. Archivado desde el original el 20 de agosto de 2008 . Consultado el 2 de febrero de 2014 .
- ^ "Productos de hipervisor" . Sistemas de misión de General Dynamics . Consultado el 16 de noviembre de 2020 .
- ^ "Una empresa de Google" . Motorola. 2013-12-30. Archivado desde el original el 1 de mayo de 2011 . Consultado el 2 de febrero de 2014 .
- ^ "Aviso de nombramiento como liquidador" . 2019-04-23.
enlaces externos
- Página web oficial
- Abrir la página de inicio de Kernel Labs
- Wiki de la comunidad de Open Kernel Labs
- Página de inicio de NICTA
- Página de inicio de Cog Systems
- "Hypervisor reclamado 100% libre de errores" . LinuxForDevices . JournalDev IT Services Private, Ltd. Archivado desde el original el 27 de enero de 2013.