xref: /optee_os/core/kernel/sub.mk (revision 0a3ad9b62dc216404d651a2d19c7c1e2d8569ba9)