genode/repos/os/src/drivers/input/spec
Christian Prochaska 04e8ba716c ps2_drv: wait longer for ACK after RESET command
On some machines, more time passes until the acknowledgement arrives.

Fixes #3442
2019-08-13 12:02:03 +02:00
..
imx53 os: name imx53 input_drv unambigously (ref #2190) 2019-05-16 13:11:01 +02:00
ps2 ps2_drv: wait longer for ACK after RESET command 2019-08-13 12:02:03 +02:00