Nuttx baseline 6.25