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