On Wed, Jul 15, 2026 at 11:14:24AM +0200, Marc Haber wrote:
> when I am building my own image (here: a mini.iso) anyway, where would I add
> kernel parameters I want the installer to boot with?
>
> Did I see correctly that on amd64, classical BIOS/CSM machines still boot
> using isolinux while EFI boots with grub?
I believe you need to look at /debian-installer/installer/build/config/x86.cfg
It calls the scripts for generating syslinux, isolinux, grub2 efi,
etc for making the iso. So for EFI boot, it looks like you could add
something after
grub-gencfg \
KERNEL /linux \
INITRD /initrd.gz \
HEADER boot/x86/grub/grub-efi.cfg \
IS_PURE_GTK "$(IS_PURE_GTK)" \
IS_X86 1 \
-- \
$(VIDEO_MODE) \
For isolinux or syslinux boot it would have to be done differently since
each one has it's own way of generating the boot menu and what options
it has. There does not appear to be any variable to add extra values
to the kernel in general.
--
Len Sorensen
