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