genode/repos/dde_linux/ports
Sebastian Sumpf e2c334d6e4 linux: allow more workers when scheduling works
Workers are only summoned by the manager or when there are no workers on
a work queue. In case a work in front of a work queue depends on a work
behind it, a deadlock may occur. To solve this Linux spawns a rescue
worker using timers. Timing of Linux based drivers is currently reworked
and not reliable. Therefore, we increase the number of workers that are
spawned from 1 to 3 per work queue in order to resolve possible
deadlocks.

Fixes #4762
2023-02-27 08:22:50 +01:00
..
dde_linux.hash usb_net: Add cdc_ether ECM support 2022-08-10 13:32:59 +02:00
dde_linux.port Remove legacy intel display driver 2022-05-25 12:23:02 +02:00
libnl.hash Move libnl to own port 2022-05-25 12:22:10 +02:00
libnl.port Move libnl to own port 2022-05-25 12:22:10 +02:00
linux-firmware.hash wifi/pc: add rtlwifi driver 2023-02-27 08:20:45 +01:00
linux-firmware.port wifi/pc: add rtlwifi driver 2023-02-27 08:20:45 +01:00
linux.hash linux: allow more workers when scheduling works 2023-02-27 08:22:50 +01:00
linux.port linux: allow more workers when scheduling works 2023-02-27 08:22:50 +01:00
wpa_supplicant.hash Move wpa_supplicant to own port 2022-05-25 12:22:10 +02:00
wpa_supplicant.port Move wpa_supplicant to own port 2022-05-25 12:22:10 +02:00