/kernel/arch/arm/mach-lpc18xx/

• ../
• Makefile
• Makefile.boot
• board-dt.c