# SPDX-License-Identifier: GPL-2.0-only
obj-$(CONFIG_WALNUT)				+= walnut.o
obj-$(CONFIG_XILINX_VIRTEX_GENERIC_BOARD)	+= virtex.o
obj-$(CONFIG_EP405)				+= ep405.o
obj-$(CONFIG_PPC40x_SIMPLE)		+= ppc40x_simple.o