The OKL4 Microkernel Advantage

Open Kernel Labs OKL4 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, OKL4 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 Open Kernel Labs OKL4 platform, visit Products.

Get Involved OKL4 Community Developer Wiki Company Blog

Stay Informed OK Alerts Case Studies Show me the Solutions!