…
..
include/plat	…
Kconfig	…
Makefile	…
clock.c	…
cpu.c	…
cpufreq.c	…
dev-audio.c	…
dev-uart.c	…
dma.c	…
gpiolib.c	…
irq-eint.c	…
irq-pm.c	…
irq.c	…
pm.c	…
s3c6400-clock.c	…
s3c6400-init.c	…
setup-fb-24bpp.c	…
setup-i2c0.c	…
setup-i2c1.c	…
setup-sdhci-gpio.c	…
sleep.S	…