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