Nuttx x86

[Boo Boo]

I am looking for a RTOS to replace the current RTOS we use.  We are currently using FreeDOS, however since it is 16bit it have found it almost impossible to access a new device, PCIe mmio.  While searching the web for a RTOS I found Nuttx.

Does Nuttx support x86-64 processors?  I thought it might however the more I read the less I am convinced of it.  Basically I only need one application to run that will need network access and access to locally stored files along with PCIe MMIO.  The PCIe device is a FPGA that has GPIO, Isolated GPIO, Quadrature decoders, 16bit AO, and 10 CTs.

Am I barking up the wrong tree with Nuttx?  If I am, no biggie. If not and Nuttx can do what I need can anyone point me in the right direction to get started?

Thanks in advance.

[Gregory Nutt]

I am looking for a RTOS to replace the current RTOS we use.  We are currently using FreeDOS, however since it is 16bit it have found it almost impossible to access a new device, PCIe mmio.  While searching the web for a RTOS I found Nuttx.

Does Nuttx support x86-64 processors?  I thought it might however the more I read the less I am convinced of it.  Basically I only need one application to run that will need network access and access to locally stored files along with PCIe MMIO.  The PCIe device is a FPGA that has GPIO, Isolated GPIO, Quadrature decoders, 16bit AO, and 10 CTs.

Am I barking up the wrong tree with Nuttx?  If I am, no biggie. If not and Nuttx can do what I need can anyone point me in the right direction to get started?

x86_64 support has been implemented and tested on, at least, QEMU (and maybe real hardware?).  PCI support is currently on a feature branch and has not been merged to master.  I have not been directly involved in that port and do not have the latest information.

The primary mailing list has moved from Google Groups to Apache.  The address is d...@nuttx.apache.org and you can subscribe by sending an email to dev-su...@nuttx.apache.org . If you want to discuss the current state of the x86_64 port, you will need to ask your question in that list.

Greg