Gernot Heiser Kevin Elphinstone Ihor Kuz Gerwin Klein Stefan M. Petters Towards trustworthy computing systems: taking microkernels to the next level. 3-11 2007 41 Operating Systems Review 4 http://doi.acm.org/10.1145/1278901.1278904 db/journals/sigops/sigops41.html#HeiserEKKP07