/kernel/arch/avr32/boards/

• ../
• atngw100
• atstk1000
• favr-32
• hammerhead
• merisc
• mimc200