xref: /optee_os/ta/mk/ta_dev_kit.mk (revision 6db75bd2a024d0b5f1a68b2dfb9f0445dcb804cb)