I'd totally recommend FreeRTOS. It's a solid operating system for small systems, the ecosystem is growing again (Amazon is putting their weight behind it and t

I'd totally recommend FreeRTOS. It's a solid operating system for small systems, the ecosystem is growing again (Amazon is putting their weight behind it and there are older experienced shops out there like Future Designs), and there are a lot of EVKs out there that will run it out of the box. Get one of the $35 NXP LPC5 boards. It's pretty nice. https://www.amazon.com/NXP-LPC54018-based-Module-Amazon-FreeRTOS/dp/B077S1Q5TV https://www.amazon.com/NXP-LPC54018-based-Module-Amazon-Free...