From df17f6003ed2595c7218522f6ed1110c7a43f43f Mon Sep 17 00:00:00 2001 From: =?utf8?q?Paul=20H=C3=A4nsch?= Date: Mon, 25 Aug 2025 11:07:13 +0200 Subject: [PATCH] add installer to boot menu --- Makefile | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index b0610ec..2c0cfa2 100644 --- a/Makefile +++ b/Makefile @@ -152,7 +152,9 @@ else ifdef raspi deb http://archive.raspberrypi.org/debian ${release} main endef - PACKAGES += firmware-brcm80211 libraspberrypi-bin libraspberrypi0 pi-bluetooth raspberrypi-bootloader raspberrypi-kernel initramfs-tools + # PACKAGES += firmware-brcm80211 libraspberrypi-bin libraspberrypi0 pi-bluetooth raspberrypi-bootloader raspberrypi-kernel initramfs-tools + PACKAGES += firmware-brcm80211 pi-bluetooth initramfs-tools e2fsprogs + PACKAGES += linux-image-rpi-v7 raspberrypi-bootloader-nokernel _target: _umount _config @@ -387,7 +389,9 @@ _bootloader_iso: ${CFGROOT} ${ISOROOT} >"$${ISOROOT}/boot/grub/grub.cfg" printf '%s\n' "set timeout=10" "default=${release}" \ "menuentry 'Debian ${release}' --id '${release}' {" \ - "linux '/vmlinuz' boot=live" "initrd '/initrd.img'" "}" \ + "linux '/vmlinuz' boot=live modprobe.blacklist=nbd" "initrd '/initrd.img'" "}" \ + "menuentry 'Install Debian ${release}' --id 'installer' {" \ + "linux '/vmlinuz'" "initrd '/install/gtk/initrd.gz'" "}" \ >>"$${ISOROOT}/boot/grub/grub.cfg" -[ -f "$${ISOROOT}/install/initrd.gz" -a -f "$${ISOROOT}/install/linux" ] && \ printf '%s\n' "menuentry 'Install Debian' --id 'install' {" \ -- 2.39.5