Hey
I know this isnt an Arduino, but it uses a version of the Arduino IDE and is very similar
Recently I aquired a chipkit uno32, however when it arrived it had a red D printed on the chip ( http://i.imgur.com/2WNPo.jpg )
Not being deterred, I attempted to get it working through usual manners
I installed their arduino IDE ( https://github.com/chipKIT32/chipKIT32-MAX/downloads ), and attempted to install the drivers,
However it did not Automatically detect the drivers from the install, when I directed it at the location of it
In the end I chose the driver manually and would get a "Device cannot start" error from device manager
The device is broke, and i'm not doing something stupid, Right?