+<li>On OS X, <tt>install.sh</tt> checks your partition tables for signs of
+ a Linux installation. If such a sign is found, the script installs the
+ EFI filesystem driver for the Linux ext4 filesystem. This will enable
+ rEFInd to read your Linux kernel <i>if</i> it's on an ext2, ext3, or
+ ext4 filesystem. Note that some configurations will require a
+ <tt>/boot/refind_linux.conf</tt> file, which can be reliably generated
+ only under Linux. (The <tt>mkrlconf.sh</tt> script that comes with
+ rEFInd will do this job once you've booted Linux.) In the meantime, you
+ can launch GRUB from rEFInd or press F2 or Insert twice after
+ highlighting the Linux option in rEFInd. This will enable you to enter
+ a <tt>root=/dev/<tt class="variable">whatever</tt></tt> specification,
+ where <tt>/dev/<tt class="variable">whatever</tt></tt> is the device
+ identifier of your Linux root (<tt>/</tt>) filesystem.
+