There is a post in the G4TV forums containing some interesting facts about the Revolution console. It seems it will feature a dual threaded IBM Custom PowerPC working 2.5GHz with 256KB L1 cache and 1MB of L2 cache, an ATI RN520 core at 600MHz with 256MB RAM, some 512MB at 700 MHz of system RAM, a PPU chip with 32MB and a sound card capable of DD 5.1 – DTS 7.1. There's no way to verify the authenticity of the information, so just take it as a rumor. What we know for a fact is that it is very probably that one of the Revolution titles will be a Mario game, but I think anyone could have figured this out.