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.