linux-zen-desktop/drivers/tee/tee.o