+<li><b><a
+ href="http://sourceforge.net/projects/refind/files/0.10.0/refind-bin-0.10.0.zip/download">A
+ binary zip file</a></b>—Download this if you want to install
+ rEFInd and/or its filesystem drivers on an <i>x</i>86 or <i>x</i>86-64
+ computer and have no need to test rEFInd first by booting it on an
+ optical disc. This zip file package includes both <i>x</i>86 (aka IA32)
+ and <i>x</i>86-64 (aka <i>x</i>64, AMD64, or EM64T) versions of rEFInd.
+ Which you install depends on your architecture, as described on the <a
+ href="installing.html">Installing rEFInd</a> page. Some users of Arch
+ Linux have reported problems booting some specific Arch Linux kernels
+ with rEFInd and some other tools. For them, a <a
+ href="http://sourceforge.net/projects/refind/files/0.10.0/refind-bin-gnuefi-0.10.0.zip/download">variant
+ package</a> exists in which the <i>x</i>86-64 binary was compiled with
+ GNU-EFI rather than the usual TianoCore EDK2. This change helps some
+ users with this problem.</li>
+
+<li><b><a
+ href="http://sourceforge.net/projects/refind/files/0.10.0/refind-0.10.0-1.x86_64.rpm/download">A
+ binary RPM file</a></b>—If you use an RPM-based <i>x</i>86-64
+ Linux system such as Fedora or openSUSE, you can install the binary RPM
+ package rather than use the binary zip file. (I don't provide an
+ equivalent 32-bit package.) This package runs the
+ <tt>refind-install</tt> script (described on the <a
+ href="installing.html">Installing rEFInd</a> page) as part of the
+ installation process. Distribution maintainers can examine the
+ <tt>refind.spec</tt> file in the source package and tweak it to their
+ needs. The <a
+ href="http://sourceforge.net/projects/refind/files/0.10.0/refind-0.10.0-1.src.rpm/download">source
+ RPM file</a> might or might not build on your system as-is; it relies
+ on assumptions about the locations of the GNU-EFI development
+ files.</li>
+
+<li><b><a
+ href="http://sourceforge.net/projects/refind/files/0.10.0/refind_0.10.0-1_amd64.deb/download">A
+ binary Debian package</a></b>—If you use an <i>x</i>86-64 version
+ of Debian, Ubuntu, Mint, or another Debian-based distribution, you can
+ install from this package, which was converted from the binary RPM
+ package using <tt>alien</tt>. Note that an <a href="#ppa">Ubuntu
+ PPA</a> is available, which may install more smoothly and will cause
+ rEFInd to automatically update with other packages.</li>
+
+<p class="sidebar"><b>Note:</b> At the moment, neither the bootable CD-R image file nor the bootable USB flash drive image file supports booting with Secure Boot active. The x86-64 version of the <a href="http://en.altlinux.org/Rescue">ALT Linux Rescue disc</a> uses a Secure Boot-enabled rEFInd, though, so you may find that useful in some situations.</p>
+
+<li><b><a
+ href="http://sourceforge.net/projects/refind/files/0.10.0/refind-cd-0.10.0.zip/download">A
+ CD-R image file</a></b>—This download contains the same files as
+ the binary zip file, but you can burn it to a CD-R to test rEFInd
+ (and its filesystem drivers) without installing it first. (It boots on
+ UEFI PCs, but fails on some older Macs.) If you like it, you can then
+ copy the files from the CD-R to your hard disk. The files are named in
+ such a way that the disc should boot on either 64-bit (<i>x</i>86-64)
+ or 32-bit (<i>x</i>86) EFI computers. I've included an open source EFI
+ shell program on this disc that's not included in the binary zip file,
+ so that you can access an EFI shell from a bootable disc even if you
+ don't have an EFI shell available from your regular hard disk. This can
+ be an extremely valuable diagnostic tool if you know how to use an EFI
+ shell.</li>
+
+<p class="sidebar"><b>Tip:</b> If you want to make your own bootable USB
+flash drive, download the binary zip file or CD-R image file, prepare a USB
+flash drive with a FAT32 partition, and then use the
+<tt>refind-install</tt> program's <tt>--usedefault</tt> option, and perhaps
+the <tt>--alldrivers</tt> option, as in <tt class="userinput">bash
+refind-install --usedefault /dev/sdd1 --alldrivers</tt> to install to the
+first partition on <tt>/dev/sdd</tt>. This procedure should work even on a
+BIOS-booted computer.</p>
+
+<li><b><a
+ href="http://sourceforge.net/projects/refind/files/0.10.0/refind-flashdrive-0.10.0.zip/download">A
+ USB flash drive image file</a></b>—Although you can create
+ your own rEFInd USB flash drive, you may find it easier to download
+ this version and copy it to your USB drive with <tt>dd</tt> or some
+ other low-level disk copying utility.</li>
+
+<li><b><a
+ href="http://sourceforge.net/projects/refind/files/0.10.0/refind-src-0.10.0.tar.gz/download">A
+ source code tarball</a></b>—This is useful if you want to compile
+ the software locally. Note that I use Linux with the <a
+ href="https://sourceforge.net/projects/tianocore/">TianoCore EFI
+ Development Kit 2 (EDK2)</a> to build my binary packages (above),
+ although the <a