xref: /optee_os/core/kernel/sub.mk (revision 64c6d2917d12c1ed2009111227d0d9e5f9438b80)