Problem solved! It was apparently coming from some kernel debugging feature that I activated in my configuration. I haven't identified precisely which one since I unset a couple of them at the same time.
Thanks Paul for your help and configuration file. It was really helpful. --Bruno 2009/1/20 Bruno Rouchouse <broucho...@gmail.com> > Hi list, > > I'm trying to get Xenomai to work on my Intel Core 2 Quad (x86_64) but I'm > facing a critical issue here and I'd like to know if someone has already > stumbled over a similar problem. > > *Problem: > *I experience a kernel freeze or spurious reboot as soon as I get "I-pipe: > Domain Xenomai Registered". I usually get a few more messages after that > like "BUG: unable to handle kernel paging request at 0xfffffffffffffff" > before the kernel freezes but I don't think they are really relevant since > there are almost different every time! > > *Configuration: > *cat /proc/cpuinfo while running Linux ubuntu 2.6.27-7-generic #1 SMP Tue > Nov 4 19:33:06 UTC 2008 x86_64 GNU/Linux > > (first core only) > processor : 0 > vendor_id : GenuineIntel > cpu family : 6 > model : 23 > model name : Intel(R) Core(TM)2 Quad CPU Q9400 @ 2.66GHz > stepping : 10 > cpu MHz : 2003.000 > cache size : 3072 KB > physical id : 0 > siblings : 4 > core id : 0 > cpu cores : 4 > apicid : 0 > initial apicid : 0 > fpu : yes > fpu_exception : yes > cpuid level : 13 > wp : yes > flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca > cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm > constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx smx > est tm2 ssse3 cx16 xtpr sse4_1 lahf_lm > bogomips : 5343.17 > clflush size : 64 > cache_alignment : 64 > address sizes : 36 bits physical, 48 bits virtual > power management: > > Linux Kernel version: 2.6.27.11 > Adeos patch: adeos-ipipe-2.6.27-x86-2.2-02.patch from svn > > Kernel configuration file attached to this email. > > *Things I have tried so far: > *Gilles pointed out to me this thread: > https://mail.gna.org/public/xenomai-help/2008-12/msg00088.html > I did try to apply the patch but without any success. I also tried to > change maxcpus on the bootline but it doesn't change anything either. In > fact, I don't think it is the same issue here since I seem to crash at the > very beginning of the boot process. > > Of course disabling I-pipe support in the configuration works fine. > > Try to get as few options as possible. Probably not finished but it didn't > help either so far! > > Since the more I work on that, the least it's probably going to work :) I > need to step back a little bit. I would appreciate any hints or advice on > how to tackle that. Any configuration file on a same or similar > configuration is also very welcome. It may just be a stupid conflict in my > kernel features that may provoke this problem. > > Thanks in advance... > > Best regards, > > --Bruno >
_______________________________________________ Xenomai-help mailing list Xenomai-help@gna.org https://mail.gna.org/listinfo/xenomai-help