From 1be226431f9d58c209fdd0bf83669f3ac325195f Mon Sep 17 00:00:00 2001
From: =?utf8?q?Paul=20H=C3=A4nsch?= <paul@plutz.net>
Date: Tue, 24 Jul 2018 13:41:04 +0200
Subject: [PATCH] boot config from master

---
 bootmenu.cfg | 16 ++++++++++++++++
 syslia32.cfg |  3 +++
 syslinux.cfg | 19 +++----------------
 syslx64.cfg  |  3 +++
 4 files changed, 25 insertions(+), 16 deletions(-)
 create mode 100644 bootmenu.cfg
 create mode 100644 syslia32.cfg
 create mode 100644 syslx64.cfg

diff --git a/bootmenu.cfg b/bootmenu.cfg
new file mode 100644
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
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 0897228..b6397a5 100644
--- 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
index 0000000..88f0ad3
--- /dev/null
+++ b/syslx64.cfg
@@ -0,0 +1,3 @@
+PATH /efi64
+INCLUDE /bootmenu.cfg
+MENU TITLE Syslinux EFI-64
-- 
2.39.2