Encontré esta página antigua:
http://www.mobiletechworld.com/2010/...-high-profile
Video DivX 4.x/5.x/6.x AVI
Aún así encontré varios foros en inglés dónde dicen qué no trae soporte para divx pero con Zune se pueden reproducir
Supongo qué los reproduce pero espero qué alguien me lo confirme porque no encontré ningún reproductor en marketplace