I have just added to the repository (link) support for the PIC32MX7 on the Mikroe MX7 Multimedia board.
This is obviously the richest board available and it allows Python to use 120KBytes + of RAM.
Makes me wonder what kind of applications would fill all that space … pygame?