Kernel project manifest