diff --git a/contrib/image/grub_early.cfg b/contrib/image/grub_early.cfg new file mode 100644 index 0000000000000000000000000000000000000000..3f3cb27fe79762c310d5cf0c07974e0a2c850a4b --- /dev/null +++ b/contrib/image/grub_early.cfg @@ -0,0 +1,9 @@ +if [ -z "$prefix" -o ! -e "$prefix" ]; then + if ! search --file --set=root /.disk/info; then + search --file --set=root /.disk/mini-info + set prefix=($root)/boot/grub +if [ -e $prefix/x86_64-efi/grub.cfg ]; then + source $prefix/x86_64-efi/grub.cfg +else + source $prefix/grub.cfg +/boot/grub