From eba2c8cf2f3825d93b056cd3c56956cab8de2f34 Mon Sep 17 00:00:00 2001
From: Stefan Kalkowski <stefan.kalkowski@genode-labs.com>
Date: Tue, 28 Feb 2023 15:18:55 +0100
Subject: [PATCH] lx_emul: set timer irq task to highest priority

If a timer signal got received, first all time updates
have to be done, before other tasks get active.

Ref genodelabs/genode#4778
---
 repos/dde_linux/src/lib/lx_emul/start.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/repos/dde_linux/src/lib/lx_emul/start.c b/repos/dde_linux/src/lib/lx_emul/start.c
index 21236a4474..f05bf600d6 100644
--- a/repos/dde_linux/src/lib/lx_emul/start.c
+++ b/repos/dde_linux/src/lib/lx_emul/start.c
@@ -99,6 +99,9 @@ static int kernel_idle(void * args)
 
 static void timer_loop(void)
 {
+	/* set timer interrupt task to highest priority */
+	lx_emul_task_priority(current, 0);
+
 	for (;;) {
 		lx_emul_task_schedule(true);
 		lx_emul_time_handle();