Ой. Я использовал HAXM с версией Android 19 вполне нормально. Команда проекта хотела использовать Android 18. Я отступил. Теперь HAXM больше не отображается ни в диспетчере AVD для добавления AVD, ни в Android Targets для настроек проекта. Что ж, я могу указать свой SDK на старый (выпуск adt от октября 2013 г.) sdk, и haxm там и работает. Итак, я полностью переустановил ADT (версия 20140321). У этого STILL нет HAXM. На всякий случай переустановил HAXM.
Кто-нибудь еще не понял: как заставить HAXM (цель x86) отображаться с последней рекламой?