Re: should we continue to focus on nuttx?