xref: /optee_os/core/sub.mk (revision 546291f4de9b76fb6c5ed4dbdbe685a9805cad2a)