adding NuttX