xref: /optee_os/core/arch/arm/tee/sub.mk (revision 879237aee0d08dee2c636e1fadefc842ccf5905e)