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