I'm trying to get my Xen Dom0 distributing the irqs in an smp enviroment. As far as I know there are 2 Options:

Use irqbalance

Configure the kernel without cpu hotplug support

My System is Debian Squeeze, Xen 4.0.4, Kernel 3.2.31.

My Problem is:

irqbalance segfaults due to a changed /proc/irq* layout or irq0 missing (this seems to be a very old bug existing since Lenny)

To configure a kernel without cpu hotplug support you must disable cpu powermanagement which seems to be impossible through the standard wys (make config / make menuconfig) - the option CONFIG_PM simply defaults to "Y".

Any idea anyone on how to get a debian dom0 kernel with a proper irq distribution?