Компания Xiaomi опубликовала список смартфонов, который в ближайшее время получат версию ОС Android Pie.