kernel.c simple