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