genode/repos/dde_linux/ports/linux.port

LICENSE   := GPLv2
VERSION   := 6.1.20
DOWNLOADS := linux.archive

URL(linux) := https://cdn.kernel.org/pub/linux/kernel/v6.x/linux-$(VERSION).tar.xz
SHA(linux) := 76322de8c01a3c63b42c4d1e9b9e7d1897ddb91276e10d73d1f9df3562f031f0
DIR(linux) := src/linux

#
# Patches
#
PATCH_FILES := i915_irq.patch i915_fb_resize.patch \
               iwlwifi_enable_irq_before_pnvm.patch \
               usb_message.patch \
               workqueue_deadlock.patch
PATCHES += $(addprefix patches/,$(PATCH_FILES))

PATCH_OPT(patches/i915_irq.patch)           := -p1 -d${DIR(linux)}
PATCH_OPT(patches/i915_fb_resize.patch)     := -p1 -d${DIR(linux)}
PATCH_OPT(patches/workqueue_deadlock.patch) := -p1 -d${DIR(linux)}
dde_linux: add linux kernel 5.14.21 port Ref genodelabs/genode#4411 2022-01-10 15:15:22 +00:00			`LICENSE := GPLv2`
lx_emul: update Linux port to 6.1.20 Fix genodelabs/genode#4798 2023-03-23 10:20:43 +00:00			`VERSION := 6.1.20`
dde_linux: add linux kernel 5.14.21 port Ref genodelabs/genode#4411 2022-01-10 15:15:22 +00:00			`DOWNLOADS := linux.archive`

lx_emul: update Linux port to 6.1.20 Fix genodelabs/genode#4798 2023-03-23 10:20:43 +00:00			`URL(linux) := https://cdn.kernel.org/pub/linux/kernel/v6.x/linux-$(VERSION).tar.xz`
			`SHA(linux) := 76322de8c01a3c63b42c4d1e9b9e7d1897ddb91276e10d73d1f9df3562f031f0`
dde_linux: add linux kernel 5.14.21 port Ref genodelabs/genode#4411 2022-01-10 15:15:22 +00:00			`DIR(linux) := src/linux`
pc/linux: add contrib patches - intel_fb: avoid pagefault in fliphandler - usb_host: avoid hang of usb xhci hardware Fixes #4556 2022-07-14 08:58:27 +00:00
			`#`
			`# Patches`
			`#`
lx_emul: update Linux port to 6.1.20 Fix genodelabs/genode#4798 2023-03-23 10:20:43 +00:00			`PATCH_FILES := i915_irq.patch i915_fb_resize.patch \`
			`iwlwifi_enable_irq_before_pnvm.patch \`
			`usb_message.patch \`
			`workqueue_deadlock.patch`
dde_linux: enable Intel Alderlake graphics With this patch, the Intel framebuffer driver works on the Framework Gen12 laptop. Fixes #4627 2022-10-05 13:22:33 +00:00			`PATCHES += $(addprefix patches/,$(PATCH_FILES))`
pc/linux: add contrib patches - intel_fb: avoid pagefault in fliphandler - usb_host: avoid hang of usb xhci hardware Fixes #4556 2022-07-14 08:58:27 +00:00
lx_emul: update Linux port to 6.1.20 Fix genodelabs/genode#4798 2023-03-23 10:20:43 +00:00			`PATCH_OPT(patches/i915_irq.patch) := -p1 -d${DIR(linux)}`
			`PATCH_OPT(patches/i915_fb_resize.patch) := -p1 -d${DIR(linux)}`
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-13 09:13:18 +00:00			`PATCH_OPT(patches/workqueue_deadlock.patch) := -p1 -d${DIR(linux)}`