根据此前爆料，小米 REDMI K100 系列包含标准版 REDMI K100（代号“雅典”）和旗舰机型 REDMI K100 Pro Max（代号“松原”），后者将作为 POCO F9 Ultra 在海外发布。