mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-22 06:57:51 +00:00
e2c334d6e4
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
23 lines
814 B
Plaintext
23 lines
814 B
Plaintext
LICENSE := GPLv2
|
|
VERSION := 5.14.21
|
|
DOWNLOADS := linux.archive
|
|
|
|
URL(linux) := https://cdn.kernel.org/pub/linux/kernel/v5.x/linux-$(VERSION).tar.xz
|
|
SHA(linux) := f41a259cb2002dd2e3286524b2bb4e803f4f982992d092706ecea613584023b3
|
|
DIR(linux) := src/linux
|
|
|
|
#
|
|
# Patches
|
|
#
|
|
PATCH_FILES := i915_irq.patch i915_alderlake.patch xhci_fix_event_37.patch \
|
|
xhci_abort_ring.patch iwlwifi_enable_irq_before_pnvm.patch \
|
|
realloc-fix-gcc-12.patch \
|
|
workqueue_deadlock.patch
|
|
PATCHES += $(addprefix patches/,$(PATCH_FILES))
|
|
|
|
# i915
|
|
PATCH_OPT(patches/i915_irq.patch) := -p1 -d${DIR(linux)}
|
|
PATCH_OPT(patches/xhci_abort_ring.patch) := -p1 -d${DIR(linux)}
|
|
PATCH_OPT(patches/xhci_fix_event_37.patch) := -p1 -d${DIR(linux)}
|
|
PATCH_OPT(patches/workqueue_deadlock.patch) := -p1 -d${DIR(linux)}
|