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