PIC32 (MIPS) port of Newlib