This repository will contain an updated version of the 2012 book Flexible Operating System Internals: The Design and Implementation of the Anykernel and Rump Kernels. It is still work in progress and not for distribution. Meanwhile, read the original.