nuttx/boards/arm/a1x
…
..
pcduino-a10