xref: /linux/drivers/tee/optee/Makefile (revision c43bcd2b2aa3c2ca9d2433c3990ecbc2c47d10eb)