package embox.test

module mmu_core {
	source "mmu_core.c"

	depends embox.framework.LibFramework

	depends embox.arch.mmu
	depends embox.arch.testtrap
}

module mmu_double_map {
	option number vaddr_offset = 0x80000000

	source "mmu_double_map.c"

	depends embox.arch.mmu
	depends embox.arch.testtrap
}
