xref: /optee_os/core/kernel/sub.mk (revision 78329760eb6ed5cccf2ffe05b5462a5932c6455d)