Hallo erstmal!
Also 400Mhz sind für DivX un Co ausreichend. Dreh mal die Farbtiefe auf 16bit runter, viell. liegts am VideoRAM.
Den 2. Tipp den ich dir geben kann ist: Movix
Link:
http://sourceforge.net/project/showf...ease_id=116092
Das ist ein Multimediaplayer, der auf eine Bootbare CD/Floppy passt und ganz wenig resourcen benötigt. Damit kannst du sicher DivX schauen.