I've recently bought a cheap Redmi 13C recently, but since it has the Xiaomi HyperOS which is clearly unstable and makes my phone very laggy for its specs, especially on recording for some reason (60 FPS on games without recording, 20 FPS on same games while recording).
So I would like to know...