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