xref: /optee_os/core/kernel/sub.mk (revision 026e3556652dd5d70fda1304e4639dd8c1a38483)