Die Global-Rom gibt es nicht für alle Xiaomis und das Redmi gehört (noch?) nicht dazu.
Alles, was nicht direkt von MIUI.com (Official, Dev oder Global) ist ja eine Custom-Rom - genau so diese xiaomi.eu.
Erstmal ist da das Problem, dass man seinen Bootloader mittlerweile entsperren muss und das dauert ca 20 Tage. Und außerdem, ach wenn ich den Aufwand der Leute schätzte, halte ich von Custom-Roms wenig. Die könnten da ja sonst was in ihr Rom integrieren und man würde es nicht mitbekommen. Die Software aus offizieller Quelle wäre mir am liebsten.
Gesendet von meinem Nexus 5X mit Tapatalk