What is FreeRTOS? The FreeRTOS kernel is a market......