Re: [Xenomai-core] Kernel crash with Xenomai (caused by fork?)

2008-03-31 Thread Gilles Chanteperdrix
Tomas Kalibera wrote: Crashed on the very same line as before Tomas Ok. Let us look for unbalanced kmap_atomics then. Try this patch instead. -- Gilles. diff --git a/arch/x86/mm/highmem_32.c b/arch/x86/mm/highmem_32.c index 1c3bf95..a78494e

Re: [Xenomai-core] Kernel crash with Xenomai (caused by fork?)

2008-03-31 Thread Gilles Chanteperdrix
Gilles Chanteperdrix wrote: Tomas Kalibera wrote: Crashed on the very same line as before Tomas Ok. Let us look for unbalanced kmap_atomics then. Try this patch instead. Just when I hit the reply button, I realize that I forgot something. So, try this one instead. --

Re: [Xenomai-core] Kernel crash with Xenomai (caused by fork?)

2008-03-31 Thread Tomas Kalibera
I added a missing underscore and re-tried, and none of the debug messages was printed. I added another one to make sure that there is not a problem with getting printk messages to the serial console. The resulting highmem_32.c and the output is attached. T Gilles Chanteperdrix wrote:

Re: [Xenomai-core] Kernel crash with Xenomai (caused by fork?)

2008-03-31 Thread Gilles Chanteperdrix
Tomas Kalibera wrote: I added a missing underscore and re-tried, and none of the debug messages was printed. I added another one to make sure that there is not a problem with getting printk messages to the serial console. The resulting highmem_32.c and the output is attached. T