anything -> encode -> MPEG4 and h.264

encoding Videos for Raspberry Pi

avidemux,
openshot,
ffmpeg
VLC

http://forum.videolan.org/viewtopic.php?t=52483&f=14

http://appleclinic.wordpress.com/2008/04/20/convert-wmv-to-mp4/

http://wiki.ubuntuusers.de/Avidemux