1# SPDX-License-Identifier: GPL-2.0 2# 3# Copyright (c) 2016, NVIDIA CORPORATION. 4# 5 6obj-$(CONFIG_$(SPL_)DM_MAILBOX) += mailbox-uclass.o 7obj-$(CONFIG_SANDBOX_MBOX) += sandbox-mbox.o 8obj-$(CONFIG_SANDBOX_MBOX) += sandbox-mbox-test.o 9obj-$(CONFIG_STM32_IPCC) += stm32-ipcc.o 10obj-$(CONFIG_TEGRA_HSP) += tegra-hsp.o 11obj-$(CONFIG_K3_SEC_PROXY) += k3-sec-proxy.o 12obj-$(CONFIG_ZYNQMP_IPI) += zynqmp-ipi.o 13