Add HAXM docs (not much).