+ 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.7/refind-bin-gnuefi-0.7.7.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.7/refind-0.7.7-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.7/refind-0.7.7-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.7/refind_0.7.7-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. 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>