incubator-nuttx/Documentation/platforms/arm64/rk3399
..
boards
index.rst