href="http://sourceforge.net/projects/refind/files/0.8.0/refind-bin-gnuefi-0.8.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>
+ users with this problem.</li>
<li><b><a
href="http://sourceforge.net/projects/refind/files/0.8.0/refind-0.8.0-1.x86_64.rpm/download">A
rEFInd's git repository in the Arch User Repository (AUR), under the
name <tt>refind-efi-git</tt>. The git release is likely to include
pre-release bug fixes and new features, but those features may be
- poorly tested or undocumented. The last I checked, both builds used the
- Tianocore toolkit, and so support booting BIOS/legacy boot loaders on
- UEFI-based PCs.</li>
-
-<li><b>ALT Linux</b>—This RPM-based distribution is experimenting with
- using rEFInd on EFI-based computers. As I write, the ALT developers haven't
- yet nailed down booting from an optical disc (it's a tricky and delicate
- task, especially when preparing a "hybrid" image), but they're working on
- the problem. They have an RPM of rEFInd; see <a
- href="http://packages.altlinux.org/en/Sisyphus/srpms/refind">this page</a>
- for details.</li>
+ poorly tested or undocumented.</li>
+
+<li><b>ALT Linux</b>—This RPM-based distribution is experimenting
+ with using rEFInd on EFI-based computers. As I write, the ALT
+ developers haven't yet nailed down booting from an optical disc (it's a
+ tricky and delicate task, especially when preparing a "hybrid" image),
+ but they're working on the problem. They have an RPM of rEFInd; see <a
+ href="http://packages.altlinux.org/en/Sisyphus/srpms/refind">this
+ page</a> for details.</li>
<li><b><a href="http://distro.ibiblio.org/fatdog/web/">Fat
Dog</a></b>—This variant of Puppy Linux uses a combination of