REDMI首款出厂搭载澎湃OS4的产品，K100标准版赶上好时候了，希望现有的机型也能尽快升级到OS4！ ​