Building the kernel