GalaxyOS. "Tizen" is just a codename. People don't by Android phones, they buy Samsung phones. They may use Google's services, but you can bet these will be supported, just like the iPhone supports them. Customer's won't know the difference, and Samsung controls its own destiny. If I was a betting man, I'd wager that the next flagship Galaxy S5 release not only has no mention of Android, but highlights the new "Galaxy OS".