Adding kernel.c