kernel_sources += files(
    'archctl.c',
    'channel.c',
    'dispatch.c',
    'futex.c',
    'handle.c',
    'random.c',
    'system.c',
    'thread.c',
    'vas.c',
    'vmo.c',
)