The official developer kit was codenamed Durango, and appeared to be available to developers by mid-2012.
Kit-ul oficial de dezvoltatori a fost denumit "Durango" și părea să fie disponibil dezvoltatorilor până la jumătatea anului 2012.