#
# Makefile for the linux kernel.
#

obj-y	+= arch.o mm.o ixp425-irq.o ixp425-pci.o pci.o pci-auto.o \
	   gpio.o pci-io.o ixp425-time.o

obj-$(CONFIG_ARCH_IXDP425)	+= ixdp425-pci.o
obj-$(CONFIG_ARCH_IXP425_COYOTE)+= coyote-pci.o
obj-$(CONFIG_IXP425_LARGE_SDRAM)+= pcibuf.o
obj-$(CONFIG_KGDB) 		+= kgdb.o

