Similar to #4604 after booting Fujitsu Lifebook U7411, on-boot key events mess up the key state because of press events without releases (some queue overflow in the firmware?). The situation can be reproduced by press-and-hold of a key during boot (GRUB phase) and release on first Genode boot messages.
Similar to #4604 after booting Fujitsu Lifebook U7411, on-boot key events mess up the key state because of press events without releases (some queue overflow in the firmware?). The situation can be reproduced by press-and-hold of a key during boot (GRUB phase) and release on first Genode boot messages.
May the driver need to trigger a special flush of pending events beyond the current data flush in https://github.com/genodelabs/genode/blob/25eac6b9e6fe3d0164e010cabc76a82fa7901601/repos/os/src/drivers/ps2/x86/i8042.h#L282-L318?