OKL4 by Open Kernel Labs (acquired by General Dynamics)

OS/RTOS

Product Description

OK Labs OKL4 Microvisor was designed from the ground up as a mobile virtualization platform. It is a microkernel-based embedded hypervisor - called a microvisor, with a small footprint and the right combination of performance and CPU support to target mobile telephony. The OKL4 Microvisor is distinguished by supporting mobile virtualization, componentization, and security, enabling a new generation of applications and capabilities with impact across the mobile ecosystem. OKL4 enables mobile OEMs and semiconductor suppliers to incorporate must-have features into new mobile designs more quickly and less expensively. By reducing BOM costs through hardware consolidation, OKL4 lets mobile OEMs create smartphones at featurephone prices. OKL4 allows an evolution from the current OS-centric architecture to a more robust and scalable component architecture using OKL4's unique Secure HyperCell™ Technology. OKL4 -- born and bred for mobile Microkernel-based, the OKL4 Microvisor offers mobile OEMs a unique Secure HyperCell Technology, providing an ideal combination of reliability, security, performance, and resource efficiency for use in mobile phones, netbooks, consumer electronics, and other embedded system applications. OKL4 offers mobile OEMs a range of features and capabilities, with associated benefits: -Virtualization: Using unique Secure HyperCell Technology, OKL4 can host VMs consisting of complete OSes and software stacks, down to stand-alone device drivers or other bare metal code in individual, isolated cells. Code inside a cell executes in unprivileged mode, with hardware memory protection isolating cells from one another. Fine grained control over resource allocation, communication, and security makes development easier, software more reliable, and systems more secure. -Microkernel-based: By building on a microkernel architecture, the OKL4 Microvisor offers mobile OEMs not just high performance mobile virtualization, but opportunities to segment applications into smaller, more secure, and more manageable software components. This results in software that is easier to develop, more reliable, and more secure. -Resource management: OKL4 manages cell resources independently, allocating system resources to single cells or shared among cells. The ability to closely match resources to the specific requirements of each cell allows more optimal implementation, which allows the software to make the greatest possible use of the underlying hardware. -Lightweight components: OKL4 components and device drivers are not tied to a specific mobile phone OS. This independent approach allows independent development and reuse of key system software, reducing the size of the development effort and the time required.

OKL4

Market Segment(s)

• Embedded
• Home
• Mobile

ARM Processor(s)

• Cortex-A15
• Cortex-A53
• Cortex-A57
• ARMv8

 Contact Us