chipKIT32/chipKIT32-MAX — pull request #435 by ricklon (2014-04-10 03:19:56+00:00)
Title: Fix for issue #426 moved avr files out of the compiler

Added the interrupt.h file. Moved these files to pic32/core/pic32/avr/

Next need to fix them with compatibility code instead of just warning.