Sowohl die 32-Bit-Version (2,98 GByte) als auch die 64-Bit-Variante (3,86 GByte) werden als ISO-Datei angeboten. Derzeit stehen allerdings lediglich die englische, chinesische und portugiesische Sprachvariante zur Verfügung, eine deutsche Sprachversion folgt erst nächstes Jahr. Die Files lassen sich über Microsofts Windows 7 USB/DVD-Tool auf eine DVD brennen oder einen USB-Stick schreiben.