xref: /optee_os/ta/mk/ta_dev_kit.mk (revision 7f74c64ade78774d52978720a14c1502106545c4)