Does anyone have a working gstreamer pipeline to play audio/video through the HDMI output? I can play video through the HDMI output and audio through the analog output with Code: gst-launch-0.10 playbin2 video-sink="mfw_v4lsink device=/dev/video18" audio-sink="alsasink device=sysdefault:CARD=vt1613audio" uri=file:///.../ which works fine, and I can play a .WAV file through the HDMI audio output, and that works fine, but when I do this: Code: gst-launch-0.10 playbin2 video-sink="mfw_v4lsink device=/dev/video18" audio-sink="alsasink device=sysdefault:CARD=imxhdmisoc" uri=file:///.../ there is audio and video through the HDMI, but it plays about about 1/4 the normal speed.