On Sun, 24 Aug 2014 12:23:55 -0500
Michael Catanzaro wrote:
We currently do not have any release criterion that applies to dual
booting with other Linux systems.
Certainly one thing that could simplify this is an option to go ahead
and install the grub rpms and configure the /boot/grub2/grub.cfg
file, but don't run grub2-install. That would make it much simpler
to dual boot by using a "configfile" option from another already
installed grub.