Sending IPIs

[rishabh246]

Hi,

I'm trying to run Shinjuku.
Shinjuku boots OK and the networker, dispatcher and workers all start fine but the dispatcher is unable to pre-empt any of the workers. A quick look showed that on my system the IPI isn't being sent, because the Interrupt Control Reg (ICR) of the APIC seems permanently busy - https://github.com/kkaffes/dune/blob/master/libdune/apic.c#L98.

Unfortunately, this doesn't seem too well documented online and so debugging this has been pretty hard. As far as I can tell, Dune doesn't do much to setup IPIs either (beyond mapping the relevant addresses into the dispatcher's address space), so it doesn't seem like I've forgotten to set an important bit somewhere either.

Did you ever run into this? If so, any help would be great!