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