/nuttx/configs/avr32dev1/