/kernel/arch/arm/mach-berlin/

• ../
• Kconfig
• Makefile
• berlin.c
• headsmp.S
• platsmp.c