final kernel.c