search

genodelabs / genode

Genode OS Framework
https://genode.org/
Other
1.06k stars 250 forks source link

ps2: updating LEDs does not work if initial events are pending #4604

Closed chelmuth closed 1 month ago

chelmuth commented 2 years ago

After booting Fujitsu Lifebook U7411 (other platforms may also be affected), the ps2_drv Serial_interface ring buffer may not be empty for some reason despite the PS/2 keyboard was not used. Thus, event_pending() returns true and _update_leds() in repos/os/src/drivers/ps2/ps2_keyboard.h skips the LED update. Pressing a key resolves this and the LEDs are updated.

chelmuth commented 5 months ago

@Cochimetl may you check if commit f86bba3059c813bd6c28ec53c56760318d2ea653 also fixes this issue?

chelmuth commented 1 month ago

The issue is not reproducible since release 24.05.