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