> Then it seems that IRQ migration is always turned on when SMP is enabled. > > Then the assertion in api/v4/interrupt.cc seems problematic: > > // we should only receive irqs if the thread is halted > ASSERT(irq_tcb->get_state().is_halted()); > > It seems it's not always the case when the machine have multiple CPUs.
I don't understand. Is this an analysis, speculation, or are you hitting a real bug? Does this have to do with the previous (still not fully clarified) problem? -- Jan Stoess KIT/UKa System Architecture Group Phone: +49 (721) 608 4056 Fax: +49 (721) 608 7664 http://os.ibds.kit.edu/stoess