Check out this page. GP32 looks pretty cool! Homepage here, page selling them here and review here. Looks likes a GBA, but nearly 10x faster, supports a memory module, and can play DivX‘s! :)