Fix bug in plic priority handling, fixes running kernel >= 6.x

franzflasch · Jun 23, 2023 · 3dde409 · 3dde409
1 parent 766c1ab
commit 3dde409
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/peripherals/plic/plic.c b/src/peripherals/plic/plic.c
@@ -116,7 +116,7 @@ uint8_t plic_update(plic_td *plic)
                     /* qemu also seems to clear pending bit if it was already claimed */
                     assign_u32_bit(&plic->pending_bits[i], j, 0);
                 }
-                else if((plic->priority[irq_id_count] > highest_prio))
+                else if((plic->priority[irq_id_count] >= highest_prio))
                 {
                     /* find irq with highest prio */
                     highest_prio = plic->priority[irq_id_count];