xref: /optee_os/core/kernel/sub.mk (revision 7c732ee481c684dbc9cfb923e417b61148729372)