- 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.3.0/refind-bin-0.3.0.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>
+ href="https://sourceforge.net/projects/tianocore/">TianoCore EFI
+ Development Kit 2 (EDK2)</a> to build my binaries (below), although the
+ <a href="http://sourceforge.net/projects/gnu-efi">GNU-EFI</a>
+ development tools are also supported. 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.5.1.1/refind-bin-0.5.1.1.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.</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>Tip:</b> If you want a bootable USB flash drive, download the binary zip file or CD-R image file, prepare a USB flash drive with a FAT32 ESP, and then use the <tt>install.sh</tt> program's <tt>--usedefault</tt> option, as in <tt class="userinput">bash install.sh --usedefault /dev/sdd1</tt> to install to the first partition on <tt>/dev/sdd</tt>. This procedure should work even on a BIOS-booted computer.</p>