kernel_sources += files(
    'dispatch.c',
    'memory.c',
    'process.c',
    'system.c',
    'vfs.c',
)