REDMI产品经理：K100 Pro系列会首批推送澎湃OS4正式版。