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