diff --git a/kernel/kernel/IDT.cpp b/kernel/kernel/IDT.cpp index 7efe34c7..1614f6b6 100644 --- a/kernel/kernel/IDT.cpp +++ b/kernel/kernel/IDT.cpp @@ -338,6 +338,7 @@ namespace Kernel ASSERT(InterruptController::get().is_in_service(IRQ_IPI - IRQ_VECTOR_BASE)); InterruptController::get().eoi(IRQ_IPI - IRQ_VECTOR_BASE); Processor::handle_ipi(); + Processor::scheduler().reschedule_if_idle(); } extern "C" void cpp_timer_handler()