按照计划，澎湃 OS4 预计会在 8 月发布小米澎湃OS4