File list (Check if you may need any files):
mach-at91\at91rm9200.c
.........\at91rm9200_devices.c
.........\at91rm9200_time.c
.........\at91sam9260.c
.........\at91sam9260_devices.c
.........\at91sam9261.c
.........\at91sam9261_devices.c
.........\at91sam9263.c
.........\at91sam9263_devices.c
.........\at91sam926x_time.c
.........\at91sam9rl.c
.........\at91sam9rl_devices.c
.........\at91x40.c
.........\at91x40_time.c
.........\board-1arm.c
.........\board-carmeva.c
.........\board-csb337.c
.........\board-csb637.c
.........\board-dk.c
.........\board-eb01.c
.........\board-eb9200.c
.........\board-ek.c
.........\board-kafa.c
.........\board-kb9202.c
.........\board-picotux200.c
.........\board-sam9260ek.c
.........\board-sam9261ek.c
.........\board-sam9263ek.c
.........\board-sam9rlek.c
.........\clock.c
.........\clock.h
.........\generic.h
.........\gpio.c
.........\irq.c
.........\Kconfig
.........\leds.c
.........\Makefile
.........\Makefile.boot
.........\pm.c
mach-at91