xref: /linux/drivers/tee/optee/Makefile (revision 547f574fd9d5e3925d47fd44decbf6ab6df94b0e)