Here is the solid information regarding (often labeled as Android 9.0 Pie).
If you just want a , stick with Android 8.1 (official) – it has fewer bugs and full hardware support. tx3 mini firmware android 9