jerry73204 forked apache/nuttx from jerry73204/nuttx · March 23, 2026 22:49 jerry73204/nuttx Apache NuttX is a mature, real-time embedded operating system (RTOS) Updated Mar 24