TV-Out Device Driver Mini6410

Andre Curvello
Hello,

I'm working on a academic project using the Mini6410, and one of my tasks
concerns about using the Tv-out capability of the board.
Anyone knows how can I use it in general mode in Linux OS? 

I want something like in the WindowsCE, which can display the screen in the
TV, not a video example, like the demonstration that comes in the Linux
image.

If anyone can help me, need at least know how to relate the output of tv
with some device driver in /dev, so I can use with mplayer, as with the
command "mplayer-vo tv video.avi", which would generate a video output on
TV and the audio on the sound output of the board.