xref: /optee_os/core/kernel/sub.mk (revision 39a6336d8f7647cb2ed723e9e050c2b4c4a98db8)