REDMI K100（Warsaw）现已发布首个小米澎湃OS 4 厂包正式版OS4.0.5.0.XHPCNXM版本OTA，有相关机型的同学，可以前往系统更新手动检测版本OTA升级，如未检测到版本更新，请耐心等待后续更多放量或版本全量推送。

注：REDMI K100当前暂时与REDMI K90至尊版分开发版，后续将可能合并发版。该版本为REDMI K100厂包版本，REDMI K90 至尊版不支持升级。