The biggest non-Linux non-iOS phone operating system is HarmonyOS, so I would assume he means that.