3 # Marvell Semiconductor <www.marvell.com>
4 # Prafulla Wadaskar <prafulla@marvell.com>
6 # SPDX-License-Identifier: GPL-2.0+
9 ifneq ($(OBJTREE),$(SRCTREE))
10 $(shell mkdir -p $(obj)../common)
13 obj-y := km_arm.o ../common/common.o ../common/ivm.o
15 ifdef CONFIG_KM_FPGA_CONFIG
16 obj-y += fpga_config.o