I don't think we need a citation for common knowledge about how OS kernels work