Looking for a FreeRTOS compatible board with RS232, PCIE, and Ethernet ports

I have been trying to look for a FreeRTOS compatible board for some time now. It needs to be able to send/receive RS232 messages, and have access to PCIE and ethernet. Does anyone know of a good development board/SBC available that is compatible with FreeRTOS? My budget is about $400. Thanks.

Looking for a FreeRTOS compatible board with RS232, PCIE, and Ethernet ports

PCIE is the limiting factor here – otherwise you could just take you pick of many. Have you looked for a Xilinx board with PCIE?