Create kernel.c

Kernel file