Apache NuttX is a mature, real-time embedded operating system (RTOS)
Like apache/nuttx, 0 likes 0 Bookmark apache/nuttx, 0 bookmarks 0 A tiny real-time kernel focusing on formal reliability and simplicity.
Like EDI-Systems/M5P01_Prokaron, 0 likes 0 Bookmark EDI-Systems/M5P01_Prokaron, 0 bookmarks 0 SuperTinyKernel RTOS is a lightweight, high-performance, deterministic, bare-metal C++ RTOS for resource-constrained embedded systems based on ARM Cortex-M and RISC-V MCUs. Includes x86 emulator. 100% code coverage with automated unit tests.
Like SuperTinyKernel-RTOS/stk, 0 likes 0 Bookmark SuperTinyKernel-RTOS/stk, 0 bookmarks 0 Apache NuttX is a mature, real-time embedded operating system (RTOS).
Like open-vela/nuttx, 0 likes 0 Bookmark open-vela/nuttx, 0 bookmarks 0 Breaking backward compatibility since 2010!!!
Like shkolnick-kun/bugurtos, 0 likes 0 Bookmark shkolnick-kun/bugurtos, 0 bookmarks 0 Eclipse ThreadX is an advanced real-time operating system (RTOS) designed specifically for deeply embedded applications.
Like eclipse-threadx/threadx, 0 likes 0 Bookmark eclipse-threadx/threadx, 0 bookmarks 0 Memory protected microkernel realtime operating system for microcontrollers without MMU.
Like ventZl/cmrx, 0 likes 0 Bookmark ventZl/cmrx, 0 bookmarks 0 FreeRTOS kernel files only, submoduled into https://github.com/FreeRTOS/FreeRTOS and various other repos.
Like FreeRTOS/FreeRTOS-Kernel, 0 likes 0 Bookmark FreeRTOS/FreeRTOS-Kernel, 0 bookmarks 0 An OS to build, deploy and securely manage billions of devices
Like apache/mynewt-core, 0 likes 0 Bookmark apache/mynewt-core, 0 bookmarks 0 
