kernel_sources += files(
    'init.c',
    'pmap.c',
    'pmm.c',
    'slab.c',
    'usercopy.c',
    'vas.c',
    'virt.c',
    'vmo.c',
)