I recommend you look at the network driver for a model on how to use inter-core interrupts effectively.
Yes, I actually implement an interrupt module with the code drivers/net/rckmb.c
It is worked very well with two cores, but when it comes to four cores, sometimes a core misses the interrupt.
I don't know the exact reason why it is not working.
I'll look into the code again.
The interrupt hardware is fully documented in the Pentium manuals in the documents section.
The register connects to the signals of the Local APIC. There is no IO APIC or APIC bus.
If you are running sccKit 1.4.0 FPGA bitstream then you may want to use the new IPI facility.
See the User Guide for 1.4.0 in the Documents section. It provides a more conventional interrupt controller.
I am trying to use the Global Interrupt Controller Registers that come with the new IPIC facility, each core can set its own request registers and this is reflected in the status registers, however the intercore request register writes are failing. Any help is highly appreciated