Hybrid vs. monolithic OS kernels: a benchmark comparison. - Dylan Griffiths; Dwight J. Makaroff (CASCON, 2006)