xref: /optee_os/core/sub.mk (revision 1962351e64cea65f16eb12f943aadf894ecec35a)