RecodeX 重构消息，小米高管胡馨心表示，REDMI K100 Pro系列手机将首批推送澎湃OS 4正式版更新。目前尚未透露具体推送时间与更新内容。