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