Frage zu Xiaomi Redmi GO

Stimmt das mit der Android-Version "9.0 Pie" wirklich? Verschiedene andere Quellen sprechen nur von einer "8.1 Oreo GO" (=abgespeckte GO-Version für leistungsschwächere Android-Smartphones). Was ist nun wirklich installiert, die volle "9.0 Pie" oder die abgespeckte "8.1 Oreo GO"? (Bei letzterem: Gibt es ein Update auf "9.0 Go"?)