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