kernel_sources += files(
    'archctl.c',
    'dispatch.c',
    'futex.c',
)