xref: /linux/drivers/tee/optee/Makefile (revision 842ed298954db7dc41a4942f3331d19cd9676ede)