nuttx/boards/avr/at32uc3
..
avr32dev1