Probando el DRCoP. Lo he instalado y arrancado todo a la primera y perfectamente. Los menús intuitivos y detrás hay un gran trabajo. Enhorabuena.

He tenido que abandonarlo porque, y tras más de una hora probando todo lo posible, no logro hacer salir audio por HDMI. He navegado por todo el setup y modificado las opciones correspondientes (bueno, sólo hay una al respecto) y nada, imposible que el audio llegue hasta el AVR por HDMI.