Stephan Zimmermann wrote:
> Hello List,
> I am facing a crashing kernel when I use some rt_interupt_xxx funtions in my application.
> 
> System: Dualcore AMD with Debian 3.1, kernel 2.7.17.14 with Xenomai SVN rev 1920. 
> 
> Kernel crashes, leaving the following last words in syslog, the system keeps responding, 
> but I am unable to restart my application.
> 
> <syslog>
> I-pipe: Domain Xenomai registered.
> Dec  5 15:24:07 localhost kernel: Xenomai: hal/x86 started.
> Dec  5 15:24:07 localhost kernel: Xenomai: real-time nucleus v2.3-rc1 (Baroque) loaded.

#1920 implies -rc2. Something is probably inconsistent in your build.

Jan