3 ms·

I wouldn't lump FreeRTOS in with those others. I've shipped devices with it and it's a real, tangible thing. mbed would be my next choice.

• crudbug 11y ago
  Agreed I am using FreeRTOS Marvell 88MC200 [1]. [1] http://www.marvell.com/microcontrollers/88MC200/ http://www.marvell.com/microcontrollers/88MC200/
• grepz 11y ago
  nuttx comes to my mind. Pretty decent one.