ああ。Androidバージョン19でHAXMを使用していましたが、問題ありませんでした。プロジェクト チームは Android 18 を使いたがっていました。現在、HAXM は、AVD マネージャーに表示されず、AVD を追加することも、プロジェクト設定の Android ターゲットに表示されることもありません。SDK を古い (adt の 2013 年 10 月リリース) SDK に向けることができ、haxm がそこにあり、動作します。というわけで、ADT(20140321版)を完全に再インストールしました。それはまだHAXMを持っていません。念のため、HAXMを再インストールしました。
HAXM (x86 ターゲット) を最新の adt で表示するにはどうすればよいですか?