GitHub repository: lupyuen3/runner-nuttx
Primary language: C
Description: Apache NuttX is a mature, real-time embedded operating system (RTOS)