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