Raspberry Pi add-on board with a PIC32