Visualized: IE10 and Windows running on ARM at MIX

Well, what do we have here? It's IE10 and Windows 32-bit running on a 1GHz ARMv7 chip... live, right here at MIX 11!

Update: Wonder what kind of ARM chip that might be? NVIDIA just tweeted that it's actually a Tegra 2 SOC.