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