From 042f3996016e1ac5e56b437ef0c87d9aa76ac87c Mon Sep 17 00:00:00 2001
From: Christopher Spinrath <christopher.spinrath@rwth-aachen.de>
Date: Fri, 28 Aug 2015 21:11:50 +0200
Subject: [PATCH] contrib: add early grub config

---
 contrib/image/grub_early.cfg | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 contrib/image/grub_early.cfg

diff --git a/contrib/image/grub_early.cfg b/contrib/image/grub_early.cfg
new file mode 100644
index 0000000..3f3cb27
--- /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
-- 
GitLab