4 ms·

Microsoft ThreadX is open source. I guess minix is kinda in that space too. FreeRTOS has already been mentioned, but there's also NuttX/Vela.

• efrecon 2y ago
  Isn't contiki-ng another one?
• buescher 2y ago
  Micrium (uC/os-ii, uC/os-iii) is open source now. Best dead-trees book for an RTOS. I haven't shipped anything on it, so I have no other opinion. https://github.com/weston-embedded/uC-OS3 https://github.com/weston-embedded/uC-OS3