We need to decide what level we're going to do testing at. I found a FreeRTOS emulator that might be useful: http://www.freertos.org/FreeRTOS-simulator-for-Linux.html