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