Include myscheduler in kernal.h