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