Toward real microkernels
Jochen Liedtke
Abstract