EFI / BIOS dual configuration

[bootimage] / bootmenu.cfg

diff --git a/bootmenu.cfg b/bootmenu.cfg
new file mode 100644 (file)
index 0000000..3a53d93
--- /dev/null
+++ b/bootmenu.cfg
@@ -0,0 +1,16 @@
+UI menu.c32
+
+DEFAULT stretch_squash
+TIMEOUT 30
+
+LABEL stretch_squash
+  MENU LABEL Debian Stretch
+  KERNEL /vmlinuz
+  INITRD /initrd.img
+  APPEND boot=live live-media-path=/ quiet
+
+LABEL stretch_rescue
+  MENU LABEL Debian Stretch Rescue
+  KERNEL vmlinuz
+  INITRD initrd.img
+  APPEND boot=live live-media-path=/ init=/bin/sh