This is the port of NuttX to the Atmel SAMA5D3x-EK development boards (where x=1,3,4, or 5). These boards feature the Atmel SAMA5D3 microprocessors. Four different SAMA5D3x-EK kits are available

The each consist of an identical base board with different plug-in modules for each CPU. An option 7 inch LCD is also available. All four boards are supported by NuttX with a simple reconfiguration of the processor type.

For details look at Documentation/platforms/arm/sama5/boards/sama5d2-xult/README.txt