Thanks KiBi,
I tried the keyboard (and USB stick) in both the USB2 and USB3 ports.
No difference.
I did find an old blog post[1] describing the issue, and it suggests
adding the following to initrd.img (/etc/initramfs-tools/modules):
usbcore
uhci_hcd
ehci_hcd
ehci_pci
usbhid
hid_generic
I don't currently have a Jessie system to run update-initramfs, but I'll
can copy an initrd onto the USB stick if someone can provide one.
(And you're probably right about syslinux---the BIOS found two
bootloaders: a text one and a graphical one with swooshes; and I didn't
look closely!)
Daniel
[1]
http://www.kasploosh.com/weblog/14000/14016-debian_jessie_usb_keyboard.html
--
To UNSUBSCRIBE, email to debian-boot-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: https://lists.debian.org/544a86ba.2090...@smith.net
