Al ser un deco linux el manual es el de la imagen que tenga (si tiene alguna preinstalada), si no trae o no te gusta la imagen que tiene deberias cambiarla, ese es el primer paso. Despues de eso basicamente te tienes que centrar en buscar los canales, conectarlo a internet y configurar la emuladora.