genode/repos/dde_linux/src
Josef Söntgen b557fb13f9 wifi_drv: fix timer scheduling
The context of timer are now inserted correctly and the actual timer
triggering the exection of each context is always programmed if the
head of the timer list changes.

Fixes #1326.
2014-12-19 13:58:46 +01:00
..
drivers wifi_drv: Port of the Linux wireless stack 2014-11-28 12:02:36 +01:00
lib wifi_drv: fix timer scheduling 2014-12-19 13:58:46 +01:00