xref: /optee_os/core/kernel/sub.mk (revision 9bee8f2a5af7ad5219a65d6f12ff25771f3325c0)