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