xref: /optee_os/core/arch/arm/tee/sub.mk (revision 89c9728d981ff0f4a8edecc325858537441d721e)