All of the official Arduino hardware designs have used an AVR to the best of my knowledge. Netduino [1] is a related project that runs a stripped down .NET framework on an ARM7 core. However, that's not what Google used. It may be the reference for Windows Phone add-ons.

[1] http://netduino.com/