Misteri sull' OS del Galaxy S4

Da qualche giorno gira su internte che il Galaxy S4 possa uscire con Tizen, cioè il nuovo Os nato con l'unione di LImo e MeeGo..
Altre fonti accennano che invece uscira con Android, ma la versione sarà o Jelly Bean o Key LIme PIe ( Vers. 5).
Ho sentito anche che possa uscire con il dual-boot e il cliente sceglierà cosa usare (Tizen/ANdroid).

Beh, per Samsung il voler abbandonare Android per un suo Os privato, mi sembra che vuole ripetere la stessa sciocchezza fatta con Bada...

Se il sistema operativo più usato è Android, perchè mettere al rischio il device di punta con un Os sconosciuto?
Forse faranno come per l'S3, cioè una versione mini? Oppure rilasceranno due versioni dell'S4?
Venderanno il primo device dual-boot?

Facciamo un pò di scommesse (scherzose naturalmente), con quale os uscirà il Galaxy S4?

-Tizen
-4.2 Jelly Bean
-5.0 Key Lime Pie
-Altro OS ( scrivi il nome)

;)