[coreboot] Non-working PS/2 on KGPE-D16

[Piotr Kubaj]

Hi,

I'd like to use PS/2 ports in my KGPE-D16. That's why I want to connect my mouse and keyboard to it (and free USB ports). Both mouse and keyboard have USB plugs (I use adapters), but I have also old PS/2 keyboard used for tests.

The problem is that neither mouse nor keyboard work with coreboot (both work with stock BIOS). I set CONFIG_SEABIOS_PS2_TIMEOUT=3000 in coreboot config. I use SeaBIOS with default config and verified that it contains CONFIG_PS2PORT=y (both configs extracted from rom are attached).

I use coreboot tag 4.8.1.

I also attach serial log with debug_level Spew and SeaBIOS debug level 7 (which adds PS/2 related entries). Could anyone help me trace this issue?