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