1185b4595SMarouene Boubakrisrcs-y += mobj.c 2ee546289SJens Wiklandersrcs-y += fobj.c 3afb4ad9fSJerome Forissiercflags-fobj.c-$(CFG_CORE_PAGE_TAG_AND_IV) := -Wno-missing-noreturn 49f31ef5aSJens Wiklandersrcs-y += file.c 589c9728dSJens Wiklandersrcs-y += vm.c 6d8ba4baeSJens Wiklandersrcs-y += core_mmu.c 7*52a75a25SMarouene Boubakrisrcs-y += pgt_cache.c 8fc5e0894SMarouene Boubakrisrcs-y += tee_mm.c 9fc5e0894SMarouene Boubakri 10