genode/repos/dde_linux/patches/workqueue_deadlock.patch

This patch increases the amount of worker that will be spawned upon a work queue
when a work is submitted. The patch implies that three workers will be used for
three works (before it was one). The fourth work will be queued.

diff --git a/kernel/workqueue.c b/kernel/workqueue.c
index 7cd5f5e7e..c717a06b7 100644
--- a/kernel/workqueue.c
+++ b/kernel/workqueue.c
@@ -782,7 +782,10 @@ static bool work_is_canceling(struct work_struct *work)
 
 static bool __need_more_worker(struct worker_pool *pool)
 {
-	return !pool->nr_running;
+	/*
+	 * Assume two works can deadlock and make a third available
+	 */
+	return pool->nr_running < 3;
 }
 
 /*