Va a ser que no.. de DivX nada.. ademas.. tampoco es un estandar comparable al MPEG. Pero se sabe que si el usuario final lo demanda, logicamente sera palicado en alguna actualizacion del dashboard por que es un simple codec de video por software.
Al menos eso me parecio entender en el video de la Campus Party.
Pero bueno.. hay millones de PC tipo barebone que reproduce DivX / XViD / OGM /etc..
Yo te lo recomiendo un barebone o un reproductor divx y a tirar millas.
Una vez escuche a un tio decir que no le dejaba la consola a su hermano por que una vez le dejo una pila de reloj de esas de 2 mm y se monto una central nuclear.
Moraleja.. las cosas son para lo que son y no quieras convertir un reloj en una brujula por que tenga agujas tambien.