OKL4 Publications and Whitepapers

• Virtualization for Embedded Systems Technology White Paper

• 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