linux-stable-rt/arch/avr32/boards
..
atngw100
atstk1000
favr-32
hammerhead
mimc200