# SPDX-License-Identifier: GPL-2.0
# Copyright (c) 2015-2019 TrustKernel Incorporated

obj-$(CONFIG_TRUSTKERNEL_TEE_SUPPORT) += core/
obj-$(CONFIG_TRUSTKERNEL_TEE_SUPPORT) += armtz/