What's the best way to launch rednand from haxchi?
a=wiiu/apps/mocha/mocha.elf adding this to the config file?
Or anything like x=rednand works?
There is no direct support for redNAND in haxchi, and mocha is just another homebrew as far as haxchi is concerned. a=wiiu/apps/mocha/mocha.elf is fine. If you don't want to press any button, you could change your default= line to default=wiiu/apps/mocha/mocha.elf