Hola. Ya hay varias roms alternativas disponibles para el Redmi 9, alguna incluso oficial. Están todas en xda developers. Pero, si lees los comentarios en esa web, todas ellas dan problemas, en mayor o menor medida. Ayer precisamente leí un comentario de alguien que afirmaba que la rom más pulida a día de hoy para el Redmi 9 sigue siendo la oficial de Miui. Yo no he probado ninguna "custom" rom aún. Me encantaría que saliese alguna alternativa estable a Miui, pero el chip Helio G80 nos lo pone complicado. Saludos.