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