/kernel/arch/arm/mach-efm32/

• ../
• Makefile
• Makefile.boot
• dtmachine.c