redmi 15 4g software question

hello sa may nga redmi 15 4g dyan, does it come with hyperos na sa stock? or miui naman muna? igo go ko na kasi pag miui pa.