no se si existe algun port de android puro para este movil.
lo que hay es miui con su capa, lineage, con su personalizacion, que ya no es como miui, crdroid, basada en lineage, y otras tantas.
en el subforo tienes varias roms.
si, esta es android 10. imagino que la version anterior de lineage seria android 9, pero eso ya es otro tema.
si quieres android 10 con miui, busca alguna rom con esas premisas. alguna creo que hay por la red.
yo te recomendaria esta, pero es que no he probado mas que miui stock, miui no oficial (xiaomi.eu) y ahora lineage.
menos la oficial, las otras 2, son parecidas en rendimiento y bateria.
pero claro, es mi opinion, y se basa en el uso que le doy, los programas que uso y como lo uso. otro opinara en base a su experiencia.
te recomiendo te empapes de roms actualizables (porque a mi no me sirve una rom que ya no se actualice mas) y si eso pruebes 2 o 3.
prueba esta y despues si quieres la crdroid, en el otro hilo.