xref: /openbmc/linux/drivers/tee/optee/Makefile (revision add48ba4)