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
This commit is contained in:
Stefan Kalkowski 2023-02-28 15:18:55 +01:00 committed by Christian Helmuth
parent 2c1724d7f2
commit eba2c8cf2f

View File

@ -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();