# # Makefile for STMicroelectronics board specific parts of the kernel # obj-y := irq.o setup.o mach.o led.o obj-$(CONFIG_PCI) += pcidma.o