News for hackers. Stuff that matters.
Re:Linux Foundation to support Zephyr microkernel by joezydeco on Thursday February 18, 2016 @09:10PM (#11131045)
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.
Re:Linux Foundation to support Zephyr microkernel by crudbug on Thursday February 18, 2016 @11:28PM (#11131541)
Agreed I am using FreeRTOS Marvell 88MC200 [1].

[1] http://www.marvell.com/microcontrollers/88MC200/

Re:Linux Foundation to support Zephyr microkernel by grepz on Friday February 19, 2016 @05:07AM (#11132655)
nuttx comes to my mind. Pretty decent one.