I'm doing this on an RPi 3 running F25. It boots using extLinux, not grub2, from what I can tell. There are grub and grub2 files in /boot, but it doesn't seem to use them.
_______________________________________________ users mailing list -- users@lists.fedoraproject.org To unsubscribe send an email to users-le...@lists.fedoraproject.org
