I am a current student, and am apart of my school's Rocket Team. We are trying to find a relatively inexpensive, single-board computer, that we can put freeRTOS on. We've looked into the raspberry pi, but no luck. Would one of the Libre computers support freeRTOS, or some other real time operating system? We are trying to use this to perform calculations from multiple sensor inputs within a precise amount of time.