Use MyScheduler in kernal.cc