Con MIUI 10 sobre octubre (se espera esa fecha) puede que tengamos Android 9