澎湃OS4是7月或8月发布，按照惯例会在之前开启Beta版测试，小米17系列/红米K90系列肯定是第一批；

在此前后的新机还是预装OS3，正式版首发权还是交由年度重量级的大会师/小米18系列新机，我猜是这样[doge] ​