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