mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-26 05:49:56 +00:00
It can happen that a keyboard gets plugged in and 'led_connect()' is called while the keyboard LED of another keyboard is just being updated (and the registry is locked). Fixes #2869