MIUI

Когда соответствующие обновления получат европейские пользователи, пока неизвестно. Сейчас апдейт доступен только для модели Redmi K20.