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