You're taking issue with a terse statement in the FAQ because:
1. Users of specific Linux distros can dual-boot in EFI mode if
2. They use a specific, not-ideal-for-Linux partition layout and
3. Follow a specific installation and configuration procedure but
4. It doesn't work on Red Hat/Fedora because the filenames conflict
Given this, I'd say the statement is probably fairly accurate.
Regards
Lloyd
Heppler, J. Scott wrote:
> Re: GRUB is reported to usually fail.
>
> This is misleading at best.
>
> OpenBSD can easily and reliably be booted from Grub installed on a
> Debian, Debian Derivative or Arch Linux using Grub installed per the
> wiki.
>
> Essentially, the EFI partition is used in common with both Operating
> systems.
>
> The most time efficient way to install to a single disk is to install
> Linux first and manually partition:
> Partition1 = EFI
> Partition2 = Linux /
> Partition3 = Linux swap
> Partition4 = allocated to OpenBSD
>
> After the linux install, use the native partition manager in Linux,
> fdisk or gparted, to set Partition4 to type OpenBSD(data).
>
> Install OpenBSD to the OpenBSD area.
>
> Next boot back into Linux and download the OpenBSD "BOOTX64.EFi" file
> and install to /boot/efi/.
>
> Edit /etc/grub.d/40_custom to:
>
> #!/bin/sh
> exec tail -n +3 $0
> # This file provides an easy way to add custom menu entries. Simply
> type the
> # menu entries you want to add after this comment. Be careful not to
> change
> # the 'exec tail' line above.
> menuentry 'OpenBSD 7.8' {
> chainloader (hd0,gpt1)/BOOTX64.EFI
> }
>
> and run /sbin/update-grub.
>
> Your next boot should have a Grub menu entry for OpenBSD 7.8.
>
> Fedora/RedHat uses a conflicting /boot/efi/BOOTX64.EFI
>
> I'll work with the FAQ maintainers to correct.
>
>
> --
> J. Scott Heppler
>
>