A small PIC32-based computing platform.