Use Kernel Manifest