Ya que estáis hablando de este tema, repito unas cosas que comenté en el hilo de primeras impresiones.
He investigado bastante las bibliotecas y los drivers de Video for Linux que tiene el Galaxy, y todo apunta a que tiene lo necesario tanto de hard como de soft para HDMI. Bueno, una cosa le falta: el propio puerto HDMI. Pero en algún sitio (no recuerdo dónde) leí que podría aparecer un dock con ese tipo de salida.
Éste es el folleto sobre el procesador S5PC100:
http://www.samsung.com/global/busine...ure_200902.pdf
El Galaxy lleva ése o el S5PC110. La diferencia entre ambos es que el segundo soporta 1080p, y el primero, sólo 720p.
Lo que más me lleva a pensar que lo van a aprovechar en un futuro es que han incorporado en el SO los drivers y bibliotecas necesarias, en oposición a lo que pasaba con la Magic y otros de esa generación que usaban la placa MSM7200. Esa placa soportaba salida de TV, pero, además de que no pusieron un puerto para ello, tampoco implementaron nada en el software que hiciera pensar que sería posible más adelante.