genode/repos/os/src/drivers
Norman Feske 7729398105 ps2_drv: reset mouse at startup
This patch replaces the set-defaults command by a reset command, which
is needed to use the Lenovo x250 trackpoint. (original patch by
Christian Prochaska)
2017-05-31 13:15:54 +02:00
..
acpi acpi: avoid warning about dangling allocations 2017-03-15 13:12:48 +01:00
ahci ahci: avoid deprecated warnings 2017-05-02 15:29:03 +02:00
audio/spec/linux Rename Linux audio driver to linux_audio_drv 2017-03-15 12:32:27 +01:00
framebuffer/spec Fix some deprecated warnings 2017-03-24 16:20:03 +01:00
gpio/spec gpio: remove env deprecated warnings 2017-02-28 12:59:30 +01:00
input ps2_drv: reset mouse at startup 2017-05-31 13:15:54 +02:00
nic/spec Rename Linux NIC driver to linux_nic_drv 2017-03-15 12:32:27 +01:00
platform/spec nova: fix syscall bindings with GCC 6 2017-05-31 13:15:52 +02:00
rtc/spec/x86 Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
sd_card Remove deprecated Attached_mmio constructor 2017-03-24 16:20:01 +01:00
timer base-pistachio: use PIT in Genode timer 2017-03-15 12:32:26 +01:00
uart Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
usb_block Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00