Can anyone clarify what's behind 'Redmi Note 10 Pro' vs. 'Redmi Note 12 Pro 4G'?
Do they use the same 'sweet' official HyperOS 1 marked for the latter model?
In that case can that be triggered for producing rom for them?
Or, by any chance, the naming in here
https://mifirmware.com/hyperos/ is not correct and is missing '6ka' suffix?