boot config from master

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

diff --git a/syslia32.cfg b/syslia32.cfg
new file mode 100644 (file)
index 0000000..84e692e
--- /dev/null
+++ b/syslia32.cfg
@@ -0,0 +1,3 @@
+PATH /efi32
+INCLUDE /bootmenu.cfg
+MENU TITLE Syslinux EFI-32

diff --git a/syslinux.cfg b/syslinux.cfg
index 0897228bdd8f67710daf35a2a92662031800538c..b6397a5b952dac28f92491920a09451a90daf3e4 100644 (file)
--- a/syslinux.cfg
+++ b/syslinux.cfg
@@ -1,16 +1,3 @@
-UI menu.c32
-
-DEFAULT stretch_i386
-TIMEOUT 30
-
-LABEL stretch_i386
-  MENU LABEL Debian Stretch 32bit
-  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
+PATH bios
+INCLUDE bootmenu.cfg
+MENU TITLE Syslinux BIOS

diff --git a/syslx64.cfg b/syslx64.cfg
new file mode 100644 (file)
index 0000000..88f0ad3
--- /dev/null
+++ b/syslx64.cfg
@@ -0,0 +1,3 @@
+PATH /efi64
+INCLUDE /bootmenu.cfg
+MENU TITLE Syslinux EFI-64