Non-official mirror of NuttX mainline code (http://sourceforge.net/p/nuttx/code/5798/tree/)