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