compañeros me ha dado un amigo un openbox s9 y queria darle luz pero quisiera saber si este deco es iks o linux antes de hacerle nada y decir que donde esta sus manuales y sus firmwares ya que no los encuentros vienen el del s6,s7,s8,combo.....gracias.