I actually am planning on installing an android alternative, but I do not know which OS supports my redmi 13C. I also fear the loss warranty because editing/changing/modding/rooting the stock system makes the warranty void. I mean my phone's still new, bought it somewhere near the end of January this year.