nuttx/configs/avr32dev1/ostest
..
defconfig