Kernel manifest