Kernel compilation