xref: /optee_os/core/kernel/sub.mk (revision 336e32995d9c419d9fc2a6fd5974f99761285415)