The OKL4 Microvisor Advantage

Open Kernel Labs OKL4 Mirovisor builds on mature and widely deployed L4 microkernel technology to provide a truly secure embedded platform. Unlike both legacy RTOSes and embedded versions of enterprise OSes that attempt to repurpose and reshape inherently insecure system architectures, the OKL4 Microvisor starts with the right foundation for security:

  • Small and manageable microkernel code base
  • Provably correct implementation of L4 specification
  • User-mode / user-space virtualization of guest OSes, network stacks, and other code
  • Secure hosting of device drivers, stacks, and other privileged code directly on OKL4
  • Fast, secure “right-sized” IPC set for communication among guest OSes / partitions

To learn more about the OKL4 Microvisor, visit Products.