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