Preliminary support for Microchip(R) PIC32. TBD: System Tick.