Delete NaiveKernel.c