Redmi × Redmi K80 × OS3.0.302.0 × ZIP × 中国 镜像下载

curl -O https://bigota.d.miui.com/OS3.0.302.0.WNNCNXM/rothko-ota_full-OS3.0.302.0.WNNCNXM-user-16.0-56ae86ce5e.zip
# 校验文件完整性
md5sum rothko-ota_full-OS3.0.302.0.WNNCNXM-user-16.0-56ae86ce5e.zip  # 期望 56ae86ce5efd9a2fe1cdf9b84844ac20