Funciona Perfectamente. Conozco dos forma de añadir un canal, el que mejor funciona es la que se añade por la web:

1. Enciendes el Deco.
2. En un pc (en la misma red local), abres un navegador y pones: Ip_del_deco:1987
3. Se abrirá un configurador para añadir, borrar canales. Para añadir, clickeas en add, se te añadirá una nueva línea en la lista. Como bien pone siperchitas, en name pones ANDALUCIA TV, y en la url [url]http://andaluciatelevision.rtva.stream.flumotion.com/rtva/andaluciatelevisionh264.flv.m3u[/url]
4. Clickeas en Submit para salvar el canal.
5. Te vas a menu, y en IPTV podrás ver el canal añadido.

Espero no haberte liado,

Un saludo