Andrew Whitaker Marianne Shaw Steven D. Gribble Scale and Performance in the Denali Isolation Kernel. 2002 OSDI http://www.usenix.org/events/osdi02/tech/whitaker.html db/conf/osdi/osdi2002.html#WhitakerSG02