NuttX Fork of official NuttX repository (https://bitbucket.org/nuttx/nuttx) with added support for Reclone hardware platforms.