xref: /optee_os/core/mm/sub.mk (revision fbdcb35ea6d636f108aaae5cad8481c4f8b1d607)