#
# Makefile for the linux kernel.
#

obj-y				:= core.o clock.o sp804.o sysreg.o dummyread.o time.o
obj-$(CONFIG_POSTEDWRITE_WORKAROUND)	+= postedwrite_sync.o
obj-$(CONFIG_MACH_XLD_FPGA)	+= xld_fpga.o
obj-$(CONFIG_MACH_XLD_EVB)	+= xld_evb.o
obj-$(CONFIG_ISA_DMA_API)	+= dma.o
obj-$(CONFIG_ZCOREPCIE)		+= zcorepcieroot_pci.o zcorepcieroot_msi_aspm.o zcorepcieroot_test.o
obj-$(CONFIG_HAVE_TRACE_CLOCK)  += trace-clock.o
ifdef CONFIG_USB_INIT
obj-$(CONFIG_USB)		+= usb/
endif
obj-$(CONFIG_SNSC_SSBOOT)	+= ssboot.o
