Add the kernel file