unofficial nuttx mirror: http://git.code.sf.net/p/nuttx/git