GitHub repository: rumpkernel/book
Primary language: TeX
Description: The Design and Implementation of the Anykernel and Rump Kernels