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