is flashing an miui gsi an option for this device in case one wants to experiment with newer miui releases? (booting and running with stability is another matter) This is treble-enabled
Asking as for this device as well as the mi mix 2s, hardly see (if any) posts on telegram, xda etc on anyone...