小米澎湃OS3 今天REDMI K系列有推送，分别是：REDMI K80 OS3.0.6.0.WOKCNXM 正式版内测；（1.4G的增量包，官方日志就几行字，大家可以留意一下具体更新个啥）REDMI K90 OS3.0.18.0.WPKCNXM 正式版内测。