@lukas425 If the Xiaomi doesn't use Google Play, you can still download from Opera's site, so you should be able to run Opera regardless.