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