The Design and Implementation of the Anykernel and Rump Kernels

The definitive technical guide to the core of the Rump Kernel project

by Antti Kantee