According to users in this area FreeRTOS remains competitive with these developments for Arduino and Raspberry pi cards... For more details and tnformation about this subject, i suggest you to see links on topic.
completely lost for embedded systems, but want to make consumer ...