…
..
Kconfig	…
Makefile	…
Makefile.boot	…
board-micrel.c	…
cpu.c	…
devices.c	…
generic.h	…
gpio.c	…
irq.c	…
pci.c	…
time.c	…