[monocasa]

At a minimum you still need timer and TLB IPI shootdown interrupts hitting every core, just to have a working SMP system.

[gpderetta]

the cpu does need to handle IPI of course but not sure about timers.