# SPDX-License-Identifier: GPL-2.0

obj-$(CONFIG_TRUSTONIC_TEE_SUPPORT) += gcpu.o
