Ya existe la primera ROM Estable de Xiaomi.eu para el Redmi Note 7.
En este caso es la 10.2.8.0, y el enlace para la descarga sería este: --->
https://sourceforge.net/projects/xia...9.zip/download
Recordar que este tipo de ROM solo se puede instalar a través de TWRP, por lo que antes se necesita desbloquear el bootloader (hoy en día hay que esperar 360 horas para hacerlo efectivo).