On Linux it is quite simple to set the CPU affinity of a IRQ, by for example issuing the following command:
cat 1 > /proc/irq/#/smp_affinity
This will ensure that IRQ # will always fire on core 1. It is also possible to specify affinities such as 3, which pins the IRQ to just core 1 and ...
