mplayer und als Output den ASCII Modus.

Damit dürftest du dann selbst mit DivX und XVid enkodierte Videos abspielen können.

Das hat zumindest bei meinem Athlon 500 MHz funktioniert.