I had a positive experience using FreeRTOS for a number of years, primarily on a series of STM32 parts - Cortex M4 etc. I built our embedded platform on top of

I had a positive experience using FreeRTOS for a number of years, primarily on a series of STM32 parts - Cortex M4 etc. I built our embedded platform on top of FreeRTOS - basically some nice APIs to help make everything be event driven. Millions of dollars and hundreds of thousands of lines of C later, it's the basis for a whole product family. A sibling comment says something about tickless idle. It was a little while ago that I had to get it working, but I don't remember anything particularly painful about it - I think it was just a config option.