An emulator frontend for android.