xref: /optee_os/core/kernel/sub.mk (revision 4de84424e7c4c1d825bf8235eaeb021c1f0af4f5)