Boeken over Memory footprint reduction for operating system kernels