forked from Minki/linux
fdb72fd84c
Simple gpio-connected LED driver for KS8695 platforms. (Based on old AT91 LED driver) Signed-off-by: Andrew Victor <linux@maxim.org.za> Signed-off-by: Russell King <rmk+kernel@arm.linux.org.uk>
19 lines
326 B
Makefile
19 lines
326 B
Makefile
# arch/arm/mach-ks8695/Makefile
|
|
#
|
|
# Makefile for KS8695 architecture support
|
|
#
|
|
|
|
obj-y := cpu.o irq.o time.o gpio.o devices.o
|
|
obj-m :=
|
|
obj-n :=
|
|
obj- :=
|
|
|
|
# PCI support is optional
|
|
obj-$(CONFIG_PCI) += pci.o
|
|
|
|
# LEDs
|
|
obj-$(CONFIG_LEDS) += leds.o
|
|
|
|
# Board-specific support
|
|
obj-$(CONFIG_MACH_KS8695) += board-micrel.o
|