4 Commits

Author	SHA1	Message	Date
Sebastian Sumpf	40009986ee	dde_linux: Linux 6.6.47 port ... Issue #5264	2024-08-27 15:33:31 +02:00
Sebastian Sumpf	4a7a4cfac5	dde_linux: move linux.port to legacy_linux.port ... This is prerequisite for the Linux update. All dependencies relying on the 'linux' have been adjusted to use 'legacy_linux'. Issue #5264	2024-08-27 15:33:31 +02:00
Stefan Kalkowski	2269f42e17	lx_emul: update Linux port to 6.1.20 ... Fix genodelabs/genode#4798	2023-04-17 14:48:24 +02:00
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