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