Encontré una lista con una gran colección de ROMs, kernels, TWRP (oficial y no oficial) y otros recursos para el Redmi Note 7 (Lavender).Ojalá pueda ser útil para otros usuarios.Debes estar registrado para ver los enlaces