diff --git a/arch/x86/kernel/irq.c b/arch/x86/kernel/irq.c index 53aad1a4..d93b2a55 100644 --- a/arch/x86/kernel/irq.c +++ b/arch/x86/kernel/irq.c @@ -283,7 +283,4 @@ leave_handler: // timer interrupt? if ((s->int_no == 32) || (s->int_no == 123)) scheduler(); // switch to a new task - // exists a new (driver) task with a higher priority? - else if ((s->int_no >= 32) && (get_highest_priority(CORE_ID) > per_core(current_task)->prio)) - scheduler(); }