1 # SPDX-License-Identifier: GPL-2.0+ 2 # 3 # (C) Copyright 2009 4 # Marvell Semiconductor <www.marvell.com> 5 # Prafulla Wadaskar <prafulla (at] marvell.com> 6 7 obj-y := km_arm.o ../common/common.o ../common/ivm.o 8 9 ifdef CONFIG_KM_FPGA_CONFIG 10 obj-y += fpga_config.o 11 endif 12