Wow, check out this great GP32 site:
They have a list of emulators for GP32 on the left menu. On the front page is a picture of a Commodore Plus 4 emulator running on the GeePeeGee emulator.
Now check this one out. Pinball Dreams
for GP32! (attached picture)
Hmm.. maybe I should get one of these little systems. How much do they cost?