nuttx/Documentation/platforms/arm/s32k1xx
..
boards
index.rst