original_kernel/arch/avr32
..
boards
boot
configs
kernel
lib
mach-at32ap
mm
oprofile
Kconfig
Kconfig.debug
Makefile