For those users who wanted a GSM Palm Pre, the first GSM WebOS smartphone might be the Palm EOS / Palm Pixie leaked previously. These codenames are found in the CDMA Pre’s ROM with codename Pixie and Castle (for AT&T). The Pixie should be available in second half of this year.