2 obj-
$(CONFIG_LOCAL_TIMERS
) += localtimer.o
3 obj-
$(CONFIG_PLAT_VERSATILE_CLCD
) += clcd.o
4 obj-
$(CONFIG_PLAT_VERSATILE_FPGA_IRQ
) += fpga-irq.o
5 obj-
$(CONFIG_PLAT_VERSATILE_LEDS
) += leds.o
6 obj-
$(CONFIG_PLAT_VERSATILE_SCHED_CLOCK
) += sched-clock.o
7 obj-
$(CONFIG_SMP
) += headsmp.o platsmp.o
