小米澎湃OS4的具体更新名单，小米17系列率先推送，后续8月底陆续推送其他机型。