The Wayback Machine - https://web.archive.org/web/20100717085530/http://www.gridbus.org/~raj/microkernel/chap2.pdf