[Xenomai-core] [PATCH] fix ipipe for !CONFIG_PRINTK

Hi, this patch lets ipipe compile even if someone is annoyed of all the babbling on the kernel console. ;) Jan --- linux-2.6.14.3/kernel/ipipe/core.c.orig 2005-12-17 14:08:23.0 +0100 +++ linux-2.6.14.3/kernel/ipipe/core.c 2006-01-01 18:58:18.0 +0100 @@ -43,7 +43,9 @@ unsigned l

[Xenomai-core] [PATCH] fix ipipe for !CONFIG_PRINTK

Hi, this patch lets ipipe compile even if someone is annoyed of all the babbling on the kernel console. ;) Jan --- linux-2.6.14.3/kernel/ipipe/core.c.orig 2005-12-17 14:08:23.0 +0100 +++ linux-2.6.14.3/kernel/ipipe/core.c 2006-01-01 18:58:18.0 +0100 @@ -43,7 +43,9 @@ unsigned l