Эти старые смартфоны Xiaomi и Redmi только что получили новейшую HyperOS 3