genode/repos/dde_linux/src/lib
Christian Prochaska 38ae718509 usb_drv: wait for keyboard LED registry in 'led_connect()'
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
2018-06-29 10:44:56 +02:00
..
libc_lxip libc: reintegrate libc_resolv library 2017-10-05 17:40:04 +02:00
libnl Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
lxip dde_linux: Build net/ipv4/datagram.c for UDP connect 2018-02-28 11:01:32 +01:00
usb usb_drv: wait for keyboard LED registry in 'led_connect()' 2018-06-29 10:44:56 +02:00
vfs/lxip vfs/lxip: make gateway config attribute optional 2018-06-12 12:11:46 +02:00
wifi dde_linux: fix mod_delayed_work(delay) 2017-11-30 11:23:17 +01:00
wpa_driver_nl80211 dde_linux: create wifi recipe 2017-11-30 11:23:07 +01:00
wpa_supplicant wpa_supplicant: report auth_failures 2018-03-08 15:45:34 +01:00