On Fri, 2007-04-27 at 16:08 +0200, M. Koehrer wrote:
> Hi Jan,
>
> here is the result - I have logged with a serial console (as my kernel
> freezes).
> There are many printk messages...
>
--- arch/i386/kernel/ipipe.c~ 2007-02-26 10:31:39.000000000 +0100
+++ arch/i386/kernel/ipipe.c 2007-04-27 16:19:06.000000000 +0200
@@ -167,6 +167,7 @@
static int __ipipe_ack_irq(unsigned irq)
{
irq_desc_t *desc = irq_desc + irq;
+ BUG_ON(!desc->ipipe_ack);
desc->ipipe_ack(irq, desc);
return 1;
}
--
Philippe.
_______________________________________________
Xenomai-help mailing list
[email protected]
https://mail.gna.org/listinfo/xenomai-help
