We are trying to flash nuttx on Arduino Due board. But, before doing that we want to make sure we will be able to flash the original firmware image on Arduino Due board. We found this link http://arduino.cc/en/Hacking/Upgrading16U2Due
but this doesn't have the download link for the firmware image. We tried finding it in the arduino website, but no luck. Could anyone please give us the download link of the firmware image and the process to reflash it?
Thanks in Advance.