xref: /optee_os/core/kernel/sub.mk (revision 8b4ed803d3df96ae3ba8e5f79ecaa59d8e504f14)