References
- Ben Leslie, Carl van Schaik and Gernot Heiser, "Wombat A portable User-Mode Linux for Embedded Systems", National ICT Australia, 2004
- Peter Chubb, "Get More Device Drivers out of the Kernel!", National ICT Australia
- Ihor Kuz, "L4 User Manual NICTA L4-embedded API", Embedded, Real-Time and Operating Systems Program, 2005
- Gernot Heiser, "The OKL4 Microkernel, A High-Performance Virtualisation Platform", Open Kernel Labs, 2007
- T. Garfinkel, B. Pfaff, J. Chow, M. Rosenblum, D. Boneh, "Terra: a virtual machine-based platform for trusted computing", ACM SIGOPS Operating Systems Review, pages 193-206, Vol. 37, Issues 5, Dec. 2003
- B. Lampson, M. Abadi, M. Burrows and E. Wobber, "Authentication in Distributed Systems: Theory and Practice", ACM Transactions on Computer Systems, pages 265-310, Nov. 1992
- Heiser, Gernot; Elphinstone, Kevin; Kuz, Ihor; Klein, Gerwin, Petters, Stefan M. "Towards Trustworthy Computing Systems: Taking Microkernels to the Next Level", Operating Systems Review 41 (3): 3-11, July 2007
- VMware, Inc., "Understanding Full Virtualization, Paravirtualization, and Hardware Assist", White Paper, Nov. 2007
- Samuel T. King, Peter M. Chen, Yi-Min Wang, Chad Verbowski, Helen J. Wang, Jacob R. Lorch, "SubVirt: Implementing malware with virtual machines", Proceedings of the 2006 IEEE Symposium on Security and Privacy , May 2006
- Bluepill Project, http://bluepillproject.org