Apache NuttX RTOS [1][2] release 12.13.0 is out [3], have fun! :-)

[1] https://nuttx.apache.org
[2] https://github.com/apache/nuttx
[3] https://nuttx.apache.org/releases/12.13.0