genode/repos/os/src/drivers
Alexander Boettcher 9ee3843f35 timer: fix conversion error in timeout handling
clang complains: comparison is always false due to limited range of data type

Issue #3022
2018-11-16 14:37:18 +01:00
..
acpi platform_drv: skip assign device if iommu missing 2018-05-30 13:36:18 +02:00
ahci ahci: enable pci config command memory access 2018-02-09 13:34:18 +01:00
audio/spec/linux Follow practices suggested by "Effective C++" 2018-01-17 12:14:35 +01:00
framebuffer os: new Input::Event representation 2018-05-03 15:31:25 +02:00
gpio/spec gpio_drv: mask IRQ until it is acknowledged 2018-04-19 12:38:24 +02:00
gpu/intel gpu: the Intel multiplexer is only for x86_64 2018-01-17 12:14:43 +01:00
input input/ps2: poll for mouse-reset results 2018-08-28 17:10:55 +02:00
nic/spec Follow practices suggested by "Effective C++" 2018-01-17 12:14:35 +01:00
nvme nvme_drv: add driver for NVMe storage devices 2018-04-19 12:38:22 +02:00
platform/spec platform_drv: add RMRR region before assign pci 2018-08-02 14:36:47 +02:00
rtc/spec/x86 Follow practices suggested by "Effective C++" 2018-01-17 12:14:35 +01:00
sd_card Follow practices suggested by "Effective C++" 2018-01-17 12:14:35 +01:00
timer timer: fix conversion error in timeout handling 2018-11-16 14:37:18 +01:00
uart terminal session: propagate resize events 2018-02-14 20:41:03 +01:00
usb_block usb_block_drv: don't select alternate interface setting 2018-06-12 12:11:51 +02:00