nuttx/Documentation/platforms/x86_64/intel64
…
..
boards/qemu-intel64
index.rst