Release Notes for OKL4 Version 2.1

Features of OKL4 Version 2.1

• Introduction of our capability-based security model
• Additional reductions to static and dynamic memory footprint
• Additional performance improvements
  • Enhanced virtualization of interrupts to further improve interrupt latency
  • Introduced a new O(1) scheduler designed with multi-threaded and multi-core systems in mind
  • Further performance improvements made to OKL4 and OK Linux on IA-32
• Extended OKL4 with kernel support for synchronization (mutex) objects
• Extended OKL4 with kernel support for deadlock avoidance (via priority inheritance)
• Further enhancements to the OKL4 Driver Framework aimed at easing development of device drivers
• Implementation of POSIX C Library and pthreads functionality directly over OKL4