24
Redmi Note 8 Pro ROM recomendation
(beehaw.org)
If it's free and open source and it's also software, it can be discussed here. Subcommunity of Technology.
This community's icon was made by Aaron Schneider, under the CC-BY-NC-SA 4.0 license.
They're all pretty equivalent stock Android with a few extra customization options. I've usually ended up on CRdroid. Havoc comes with a bit of bloatware which may or may not be what you want.