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