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