http://books.google.se/books%3Fid%3DYxbJi2NqNGUC%26pg%3DPA103%26lpg%3DPA103%26dq%3D%22the%2Bmicrokernel%2Bapproach%2Bwas%22%26source%3Dbl%26ots%3DbVFzhDSpQT%26sig%3DOs1qtRVgng8edKlrNbo8FJ26LNY%26hl%3Den%26ei%3Dc_M_TJmWA56SOIebudcM%26sa%3DX%26oi%3Dbook_result%26ct%3Dresult%26resnum%3D2%26ved%3D0CBUQ6AEwAQ