Xiaomi’s Redmi 9 series – now available - Gadget