PS2 devicess handle EOI on their own
@@ -82,6 +82,9 @@ void irq_receive(register_state_t* regs) {
printf("Unhandled IRQ: %d\n", int_no);
}
+ if (int_no != INT_VECTOR_IRQ12 && int_no != INT_VECTOR_IRQ1) {
+ pic_signal_end_of_interrupt(int_no);
+ }
return ret;
}
