Mocha is not "installed", it's a homebrew you place on your SD card, and load it from either :
Homebrew launcher
or
haxchi
if you have read/understood the FAQ on first post, you should know haxchi is only a shortcut to launch homebrew.
if you didn't understood that, let me know. it means the FAQ is bad or incomplete
haxchi installation ... that's right the FAQ is missing a link to haxchi's thread ! We should add one and explain how to install haxchi.
That's very simple.
- go to eShop and download an official NDS Virtual Console game from this list to your internal memory.
- disconnect USB. (if your already have your NDS game on USB, move it to internal. do not copy)
- download the latest haxchi release (from fix94's github)
- extract haxchi package to your SD card. you should have this :
sd:/haxchi/
sd:/wiiu/apps/haxchi/
- put your SD card on WiiU and launch the homebrew launcher, then select haxchi installer.
- select your NDS game, it will replace the ROM inside it with haxchi.
by default, haxchi is doing this :
a=fw.img
b=sysmenu
default=wiiu/apps/homebrew_launcher/homebrew_launcher.elf
it means it will always launch HBL if you don't press a button.
it will patch system menu if you press and hold B button. (signature patch, region free)
if you want haxchi to do another action, edit the config.txt located in sd:/haxchi/ folder, replace the line default= to the path to the homebrew you want to launch, or to "sysmenu" if you want the default to patch your system with signature patch+region free, etc.
after editing the config.txt, re-launch the haxchi installer to overwrite the old one.
I think it's fine to get HBL by default, because you only need to patch sysmenu once per session. after system menu is patched (CFW state), launching haxchi without pressing a button will just launch the homebrew launcher.
after a console reboot, launch haxchi with B button pressed to re-apply signature patch+region free. You don't even need it for all your games! most games will work without signature patch.
Edit:
Oh, we should also add to the first post that it's possible to install both CBHC and Haxchi at the same time, by using 2 different NDS VC games.
one will be used to coldboot into a signpatch sysNAND CFW, the other will be a channel to forward to different homebrews. (though, isn't it faster to just install the HBL channel?)