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