Dunque, questo è quello che ho trovato:

[Solo gli utenti registrati possono vedere questo collegamento. ]

Il formato .mkv sembra essere supportato, quindi se il televisore non lo riproduce deve essere un problema di codec. Dentro al .mkv che codec hanno usato per i flussi audio e video?