Not so little "machine". It's a powerhouse with XC3S500E chip. It has 20 hardwired multipliers, 10K of usable logic gates, clockrates over 300MHz (but this kit is limited only to 50MHz). Plus there is 64MB ddr memory on a board.
Properly programmed it'd would obliterate GP2x easily. And it's...