…
..
include/plat	…
Kconfig	…
Makefile	…
clock.c	…
cpu.c	…
dev-uart.c	…
gpiolib.c	…
irq-eint.c	…
irq.c	…
s3c6400-clock.c	…
s3c6400-init.c	…
setup-fb-24bpp.c	…
setup-i2c0.c	…
setup-i2c1.c	…