si par divx tu entend des film commerciaux alors non on ne peut pas t'aider.
sinon des films libre de droit doivent exister, en cherchant sur google.

divx 5.1.1 sont les codecs divx, les pilotes qui te permeteront de lire les film au format divx
3ivx est un lecteur de fichier mpeg4

j'espere que ca repond a tes questions