Echando la vista atrás, hay builds de Escobar1945 de la ROM cuando tenía Android 8.1 (en mayo o así):
https://forum.xda-developers.com/red...0oreo-t3934341
Hay 2 o 3 ROMs con 8.1, y luego saltó a 9.
Mi problema principal es que para meter esta ROM en condiciones habría que limpiar /data, y si lo hago y luego la ROM tiene problemas, va lenta o se come la batería con patatas, pue es una pérdia importante de tiempo y esfuerzo, para terminar volviendo a la de xiaomi.eu de hace meses.
Yo de momento no me atrevo, la verdad...
Y el equipo de xiaomi.eu nos hizo una puñeta enorme no queriendo saber nada sobre las actualizaciones de este móvil.