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 trying out miui gsi's. They go straight to aosp/lineage stuff. However, redmi and other mi devices see plenty of miui gsi flashing dialogue and ported rom development (even if as old as the mix)