M. Koehrer wrote:
> Hi all,
> 
> sure, I can provide support in testing (as this is reproducable at my PC).

Then please start like this:

--- linux-2.6.20.orig/arch/i386/kernel/ipipe.c
+++ linux-2.6.20/arch/i386/kernel/ipipe.c
@@ -777,6 +777,7 @@ int __ipipe_handle_irq(struct pt_regs re
     m_ack = 0;
    } else
     m_ack = 1;
+printk("%d %d %d\n", regs.orig_eax, irq, IPIPE_NR_IRQS);

    ipipe_load_cpuid();


TIA,
Jan


PS: Thanks for the vmlinux. The oops must be somewhere in
__ipipe_walk_pipeline - likely due to a inconsistent irq number.