The kernel for, well, project-kernel...