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