Updated kernal.c