xref: /optee_os/core/sub.mk (revision 64fad262d5454c945c21280100f5135d894009b4)