Xiaomi phone gaming called "Black shark"

[JonnyH]

For the most part that dolphin cares about (drivers) - it's "just another" SD845. It's somewhat up to the vendors when (and if) they take driver updates from upstream and push them out to consumers, but that's not really related to how many glowing green LEDs they put on the thing.