xref: /optee_os/core/sub.mk (revision c95ce41f50487d8368017494c6e8ab4a3d2412fc)