nuttx/Documentation/platforms/x86_64/qemu/boards
..
qemu-intel64