Source for PIC32 processors in BUG & FIDO