Kernel compiled