kernel-fxtec-pro1x/arch/avr32/boards
..
atngw100
atstk1000