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