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

if kconfig.get('CONFIG_HAVE_MMU', 'n') == 'y'
    kernel_sources += files(
        'pmap.c',
    )
endif