Need Library source

[ShermanP]

Is the Arduino itself completely dead? If not, it might be possible to read its flash contents, and write that to a new Arduino.