add stuff to kernel.c