delete the kernel code