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