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