xref: /openbmc/u-boot/drivers/tee/optee/Makefile (revision f77d4410)
1# SPDX-License-Identifier: GPL-2.0+
2
3obj-y += core.o
4obj-y += supplicant.o
5obj-$(CONFIG_SUPPORT_EMMC_RPMB) += rpmb.o
6