xref: /optee_os/core/kernel/sub.mk (revision 55947ce71286000d34750abdde2dd28f5972b95b)