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