Official global MIUI 9 ROM has been released recently. You may find it on en.miui.com forum. Just have a look under Redmi 1s in at the Device section. So it seems that it has not yet reached end of live. Does this mean we have a chance to see a xiaomi.eu stable version for Redmi 1 s soon?