6 Mar
2017
6 Mar
'17
2:34 p.m.
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.