xref: /linux/drivers/tee/optee/Makefile (revision 4dc8b26a3ac2cb79f19f252d9077696d3ef0823a)