Thanks @MyAZPool, this is very helpful. I did not quite expect they would have a separate microprocessor on each daughter card but it appears they do...
This is the processor on the board - PIC32MX130F064B. My assumption is the "PS" daughter cards (i5PS, i8PS, i10PS) are the same hardware-wise...