Todo
This should be a brief introduction to how NuttX works and how to get it running. A widely used board could be targeted to create a brief demonstration on how to clone, configure, build, flash and run NuttX. For now, the content that is here presented is what remains of the old Porting Guide which is not already in another section of this documentation.