¿Como quieres que te pase el link si te ha dicho que NO hay roms oficiales de Samsung de 4.0?
Lo que si hay son Roms cocinadas (no oficiales de Samsung) que hace tener a tu Galaxy Mini la apariencia de ICS o JB. Muchas (no todas) tienen aun bastantes fallos. Te recomiendo que mires en este mismo subforo y si hay alguna Rom cocinada que te convenza, pues se la pones y listo. ¿Y si luego despues de probarla no te gusta? Flasheas, metes una ROM stock de Samsung y listo. Es cuestión de ir buscando tutoriales (que en este mismo subforo están)
Salu2!!
Enviado desde mi GT-S5570 usando Tapatalk 2