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