The Chipkit forum is broken (I can't get the confirmation email for registration) and I haven't had any luck emailing digilent directly so here I am. There is a known issue posted all over their forum about how if you enable DSPI and try to read a single byte in Serial the board crashes because of …

Chipkit Max32 DSPI and Serial fix?

system January 8, 2013, 4:05pm 2

The Chipkit forum is broken

So? What does that have to do with Arduino?