Kernel source released