+ 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.6.11/refind-bin-gnuefi-0.6.11.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.6.11/refind-0.6.11-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.6.11/refind-0.6.11-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.6.11/refind_0.6.11-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>