Yes, You will get Android 13 with the latest Redmagic OSFirmware update. The Redmagic OS 7 still not release yet by Redmagic but it will release shorty this year for the Redmagic 8 Pro device