genode/repos/dde_linux/src/lib/usb
Sebastian Sumpf 597cdc846c usb: use hardware timer to update jiffies
This takes a lot of load away because we don't need to call the time server on
each IRQ.

Fixes #1999
2016-06-06 14:26:32 +02:00
..
include os: packets without playload in packet stream 2016-06-04 13:45:26 +02:00
input dde_linux: update usb to 4.4.3 2016-05-26 15:54:12 +02:00
nic dde_linux: update usb to 4.4.3 2016-05-26 15:54:12 +02:00
raw dde_linux: update usb to 4.4.3 2016-05-26 15:54:12 +02:00
spec usb: use hardware timer to update jiffies 2016-06-06 14:26:32 +02:00
storage dde_linux: update usb to 4.4.3 2016-05-26 15:54:12 +02:00
dummies.c dde_linux: update usb to 4.4.3 2016-05-26 15:54:12 +02:00
lx_emul.cc dde_linux: update usb to 4.4.3 2016-05-26 15:54:12 +02:00
main.cc dde_linux: update usb to 4.4.3 2016-05-26 15:54:12 +02:00
test.cc Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00