This is a mirror for the NuttX RTOS developed at https://bitbucket.org/nuttx/nuttx
Some tools for kicad