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