The Open Kernel Labs Approach

Open Kernel Labs provides innovative solutions to the challenges associated with software complexity in embedded systems and the reliable delivery of trustworthy devices. OK Labs delivers these solutions through a combination of standard software products and professional services, which are guided by the following principles:

  • The challenges of software complexity are best addressed by partitioning the system into less complex components, with each component instantiated in an isolated and protected domain.
  • Lightweight protected components, with a minimal trusted computing base, significantly improve trustworthiness.
  • Trustworthy systems require a fine-grained ability to authorize communication among software components.
  • Minimizing the amount of software in an applications-trusted computing base, including any software running in a privileged state, is key to trustworthiness.
  • Source code for privileged mode software should be freely available for inspection.
  • Microkernel architecture provides an optimal software foundation for trustworthy embedded systems.

The Open Kernel Labs Solution Roadmap

To support the evolution of embedded software development practices and help developers deliver more reliable and more secure systems in less time and at lower cost, Open Kernel Labs offers solution roadmap includes three phases.

The three phases of the solution roadmap are Trustworthy Virtualization, Secure Componentization, and Unparalleled Trustworthiness.

Trustworthy Virtualization

Open Kernel Labs solution provides Trustworthy Virtualization today.

Secure Componentization

Secure Componentization is available today. Significant advances in support for Secure Componentization are planned for availability in 2008.

Learn More Learn More

Unprecedented Assurance

Products and services associated with Unprecedented Assurance are planned for later availability.

Current Products

Learn more about OKL4 and OK Linux.

Learn More