Hei Redmi Note 5/Pro Users,
We're very pleased to present you the MIUI 10 Global Stable ROM V10.3.1.0.PEIMIXM for Redmi Note 5/Pro with a Pie Android version which has been released for public. You should be able to progressively receive the update over-the-air (OTA) on your phones via the Updater app, otherwise you can download the ROM packages in this thread below.
Android 9.0 update
Update Flash 1.6G
Fastboot Flash 2.3G
Redmi Note 5/Pro Sub-forum Management Team
In order to fulfill the basic functions of our service, the user hereby agrees to allow Xiaomi to collect, process and use personal information which shall include but not be limited to written threads, pictures, comments, replies in the Mi Community, and relevant data types listed in Xiaomi's Private Policy. By selecting "Agree", you agree to Xiaomi's Private Policy and Content Policy .