nuttx/Documentation/platforms/arm/mps/boards
..
mps2-an500
mps3-an547