Create kernel.c

This is the actual kernel.