xref: /optee_os/core/kernel/sub.mk (revision 87372da451d45c2c32964c6b5030bc16e56ebd8b)