kernel_sources += files(
    'init.c',
    'pmm.c',
    'pt.c',
    'slab.c',
    'vmm.c',
)