How does a kernel scheduler work? | EducationPals.ai