Define the kernel source