How to display simple avi file using gstreamer or mplayer via HDMI

Example Pipelines:
http://processors.wiki.ti.com/index.php/Example_GStreamer_Pipelines

Change videoOutput=LCD to DVI.

Worked for me if the modules for the DSP loaded correctly.

hope it helps.

regards,

Fernando