Re: AMD64 arch

[Gregory Nutt]

I think the answer is yes x86_64 is supported. I haven't used it myself,
but here's the NuttX x86_64 status blurb:

https://cwiki.apache.org/confluence/display/NUTTX/About#80x86
Certainly it builds.  Our CI builds the x86_64 configurations on every 
commit.  There is also PCIe support on a feature branch: 
https://github.com/apache/incubator-nuttx/tree/pci  I have no idea of 
the state of PCIe.  It has not been touched in some time.