Added kernel.c and modified task.h