Commented kernel.c