obj-$(CONFIG_TRUSTONIC_TEE_SUPPORT) += gcpu.o