kernel_sources += files(
    'chardev.c',
    'devctl.c',
    'memfiles.c',
)