It took me several tries to get the image to download. At work, using Chrome on Windows with my DSL connection, the download appeared to work but I ended up with a file that was 500+ mb rather than 800+ mb and, of course, it wouldn't unzip.

Later, I tried it from home using Chrome on Windows via a cable modem and it downloaded fine.

So, if you have trouble downloading from one browser/connection/location, please just try another. The source archive is fine.

If you need a tool for unzipping the .bz2 to a .tar, you can get:

* a commandline tool, bzip2.exe from http://www.bzip.org/

* a UI tool that seems to work great on Windows (and plugs into explorer side-by-side with WinZip) from http://www.7-zip.org/

Note that WinZip will unzip the resulting tar file just fine.

Regarding the 7z and lzma files:

If you have a slow connection you can get these files too (they are around 200 MB smaller than BZip2). Windows Users can extract the 7zip (http://www.7-zip.org/) program mentioned above will extract this just fine.

7z files can be extracted on linux using a tool called p7zip. You can install it using the following:

$ sudo aptitude install p7zip

Then extract using:

$ p7zip -d devimage.vdi.7z

On linux one can use the command line tool 'lzma' to extract LZMA files with a command like the following:

$ lzma -k -d -v devimage.vdi.lzma