Samsung und HTC wollen Geräte mit Tizen in der zweiten Hälfte des Jahres veröffentlichen