grub.cfg

   1 # if we end up here it should mean we have EFI but not with Secure Boot enabled,
   2 # so source our main (and common) GRUB configuration instead
   3 set prefix=($root)/boot/grub/
   4 configfile /boot/grub/grub.cfg