xref: /optee_os/core/kernel/sub.mk (revision 5ab6717dfa872443e948944f0e4fb5a9017c5427)