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