xref: /optee_os/core/kernel/sub.mk (revision 73d6c3baef29c713244a75b8c7d5fcdec1ff28a3)