kernel_sources += files(
    'sched_dumb.c',
)