incubator-nuttx/Documentation/platforms/arm64/a64
..
boards/pinephone
index.rst