未公布。根据小米官方发布更新计划得知RedmiK40Pro并不在更新名单之中，澎湃OS是一款创新的操作系统，小米公司倾力打造，在稳定性和性能方面都有着很大的提升。因此k40升级澎湃时间未知。