## Makefile for the linux kernel.#obj-y+=common.ocommon-pci.oobj-$(CONFIG_ARCH_IXDP4XX)+=ixdp425-pci.oixdp425-setup.o
obj-$(CONFIG_MACH_IXDPG425)+=ixdpg425-pci.ocoyote-setup.o
obj-$(CONFIG_ARCH_ADI_COYOTE)+=coyote-pci.ocoyote-setup.o
obj-$(CONFIG_MACH_GTWX5715)+=gtwx5715-pci.ogtwx5715-setup.o