While Microsoft is moving Windows to ARM processors, Google is now moving Android to x86. The source code for Android 4.0.1 on x86 has been made available to developers working on the Brazos chip from AMD.