GitHub repository: monocodus-demonstrations/incubator-nuttx
Description: Apache NuttX is a mature, real-time embedded operating system (RTOS)