-<li><b><a href="http://sourceforge.net/projects/refind/files/0.2.5/refind-src-0.2.5.zip/download">A
- source code zip file</a></b>—This is useful if you want to
- compile the software locally. Note that I use Linux with the <a
- href="http://sourceforge.net/projects/gnu-efi">GNU-EFI</a> development
- tools. rEFIt used an Intel/Microsoft toolchain. Backporting rEFInd to
- that toolchain is theoretically possible, but I've not attempted
- it.</li>
-
-<li><b><a href="http://sourceforge.net/projects/refind/files/0.2.5/refind-bin-0.2.5.zip/download">A
- binary zip file</a></b>—Download this if you want to install rEFInd 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.</li>
-
-<li><b><a href="http://sourceforge.net/projects/refind/files/0.2.5/refind-cd-0.2.5.zip/download">A
- CD-R image file</a></b>—This download contains the same files as the
- zip file, but you can burn it to a CD-R to test rEFInd without installing it
- first. (It boots on UEFI PCs, but fails on at least some 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. Note that there's a
- bug that causes rEFInd to complain about invalid parameters while scanning
- various directories. You can safely ignore this message, but you'll need to
- press a key to dismiss it. 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.</li>
+<li><b><a
+ href="http://sourceforge.net/projects/refind/files/0.7.0/refind-bin-0.7.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.7.0/refind-bin-gnuefi-0.7.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; but using GNU-EFI also means that this version
+ can't launch BIOS-mode OSes.</li>
+
+<li><b><a
+ href="http://sourceforge.net/projects/refind/files/0.7.0/refind-0.7.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>install.sh</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.7.0/refind-0.7.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.7.0/refind_0.7.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>.</li>
+
+<!--
+<li><b><a
+ href="http://sourceforge.net/projects/refind/files/0.4.7/refind-bin-gnuefi-0.4.7.zip/download">A
+ binary zip file (built with GNU-EFI)</a></b>—This package is just
+ like the preceding one, except that it was built using the GNU-EFI
+ development kit rather than the TianoCore EFI Development Kit 2 (EDK2)
+ that was used to build the other binary. I originally used GNU-EFI to
+ develop rEFInd, but the GNU-EFI toolkit doesn't support the legacy
+ (BIOS-mode) boot calls on UEFI-based PCs, so I now consider the
+ TianoCore build to be the primary one. (Macs can boot legacy OSes using
+ either build.)</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.</p>
+
+<li><b><a
+ href="http://sourceforge.net/projects/refind/files/0.7.0/refind-cd-0.7.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>install.sh</tt>
+program's <tt>--usedefault</tt> option, and perhaps the
+<tt>--alldrivers</tt> option, as in <tt class="userinput">bash install.sh
+--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.7.0/refind-flashdrive-0.7.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.7.0/refind-src-0.7.0.zip/download">A
+ source code zip file</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 href="http://sourceforge.net/projects/gnu-efi">GNU-EFI</a>
+ development tools are also supported.</li>
+
+<li><b><a href="https://sourceforge.net/p/refind/code">Source code via
+ git</a></b>—If you want to peruse the source code in your Web
+ browser or get the very latest version (including pre-release bug fixes
+ and updates), you can use the Sourceforge git repository. This access
+ method is most useful to programmers, or at least to those who are
+ familiar with programming tools. Note that if you need to ask "what's
+ git?", this is probably not the best way for you to obtain rEFInd.</li>