From 6ca6359aa79dd42df9964f8e546955c79d3c5b13 Mon Sep 17 00:00:00 2001 From: "David M. Syzdek" Date: Sun, 6 May 2018 22:38:37 -0800 Subject: distros/debian: adding ISO UEFI files --- src/distros/debian/cfg.footer.iso.efi | 2 ++ src/distros/debian/cfg.header.iso.efi | 2 ++ src/distros/debian/cfg.label.iso.efi | 6 ++++++ 3 files changed, 10 insertions(+) create mode 100644 src/distros/debian/cfg.footer.iso.efi create mode 100644 src/distros/debian/cfg.header.iso.efi create mode 100644 src/distros/debian/cfg.label.iso.efi (limited to 'src') diff --git a/src/distros/debian/cfg.footer.iso.efi b/src/distros/debian/cfg.footer.iso.efi new file mode 100644 index 0000000..7e9861c --- /dev/null +++ b/src/distros/debian/cfg.footer.iso.efi @@ -0,0 +1,2 @@ +} + diff --git a/src/distros/debian/cfg.header.iso.efi b/src/distros/debian/cfg.header.iso.efi new file mode 100644 index 0000000..7c61908 --- /dev/null +++ b/src/distros/debian/cfg.header.iso.efi @@ -0,0 +1,2 @@ + +submenu "Debian Linux Installers" { diff --git a/src/distros/debian/cfg.label.iso.efi b/src/distros/debian/cfg.label.iso.efi new file mode 100644 index 0000000..527ae74 --- /dev/null +++ b/src/distros/debian/cfg.label.iso.efi @@ -0,0 +1,6 @@ + menuentry "Debian Linux @VERSION@ "@CODENAME@" Install (@ARCH@)" { + echo "Loading /boot/debian/@VERSION@/@ARCH@/vmlinuz ..." + linux /boot/debian/@VERSION@/@ARCH@/vmlinuz append -- quiet + echo "Loading /boot/debian/@VERSION@/@ARCH@/initrd ..." + initrd /boot/debian/@VERSION@/@ARCH@/initrd + } -- cgit v1.2.3