On Mon, Oct 07, 2019 at 08:04:16PM +0200, Thomas Schmitt wrote: [...] > > Syslinux 4.03 2010-10-22 EDD © © 1994-2010 H. Peter Aanvin et al > > This does not look like the first bootloader message of a contemporary > Debian ISO image. If booted via legacy BIOS it should say "ISOLINUX" > rather than "Syslinux" and, depending on the age of your ISO image, > tell a younger age and higher revision. Ah, good catch, as always: so yes, this could be just the "leftovers" from an older use of that USB stick. So my other post in this thread is most probably wrong. Thanks -- tomás
Attachment:
signature.asc
Description: Digital signature