chipKIT32/chipKIT32-MAX — pull request #415 by EmbeddedMan (2014-03-06 22:55:33+00:00)
Title: Fixed chipKIT Pi's broken hardware interrupt pins. 

We now have working INT0 through INT4 on Arduino pins 10, 8, 3, 2 and 1. (Note, the change in pins_arduino.h will affect all PPS based PIC32s for hardware interrupts. The rest of them (Fubarino Mini, DP32, etc. should work now too.)