xref: /optee_os/core/kernel/sub.mk (revision 27e8d08d664b80a632eac1065d4904f85220bd75)