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