Get Educated

OKL4 Internals: get to know what's under the hood.

OKL4 Major Components and Concepts

• IPC: the internals of IPC messaging

• BootingUp: understand the OKL4 and OK Linux boot sequence

• InterruptsAndExceptionHandling: all about interrupts and exceptions

  • AsyncIrq: Asynchronous Hardware Interrupt Delivery in 2.1

• EventServer: an async IPC multicaster

• OKL4FS: for non-IPC inter-vm communication

Reference Documentation

• OKL4 Microkernel user manual

• Iguana user manual

• Elfweaver user manual

Publications and Whitepapers

• Virtualization and Componentization in Embedded Systems Technology White Paper, 2008

• Virtualization for Embedded Systems Technology White Paper, 2008

• The Role of Virtualization in Embedded Systems G. Heiser, First Workshop on Isolation and Integration in Embedded Systems, 2008

• Your System is Secure? Prove it! G. Heiser, USENIX ;login:, 32(6), 35–38, (December, 2007)

• Towards Trustworthy Computing Systems G. Heiser et al, ACM Operating Systems Review, 41(3), (July, 2007)

• Secure Embedded Systems Need Microkernels G. Heiser, USENIX ;login:, 30(6), 9–13, (December, 2005)

• Achieved IPC Performance J. Liedtke et al, 6th Workshop on Hot Topics in Operating Systems (HotOS), 1997

You may also be interested in:

• The full list of NICTA/ERTOS publications regarding L4 and seL4

• A listing of references to OKL4 in the press