xref: /optee_os/core/sub.mk (revision 70df09b8f139cb6c028823d93e398d5f62d1c054)