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

if kconfig.get('CONFIG_SCHED_DUMB', 'n') == 'y'
    kernel_sources += files('sched_dumb.c')
endif