On 10/18/2012 07:22 PM, Jeff Webb wrote:
> On 10/17/2012 11:24 PM, Gilles Chanteperdrix wrote:
>> On 10/18/2012 12:11 AM, Jeff Webb wrote:
>>
>>> On 10/16/2012 02:04 AM, Gilles Chanteperdrix wrote:
>>>> On 10/16/2012 12:52 AM, Jeff Webb wrote:
>>>>
>>>>> I'm back to trying to get Xenomai running on a dual 6-core Intel
>>>>> X5650 desktop machine. I reported my previous attempts a few
>>>>> months ago:
>>>>>
>>>>> On ubuntu 10.04 with 2.6.38.8:
>>>>> http://www.xenomai.org/pipermail/xenomai/2012-July/000546.html
>>>>>
>>>>> On ubuntu 10.04 with 3.2.21:
>>>>> http://www.xenomai.org/pipermail/xenomai/2012-July/000577.html
>>>>>
>>>>> I am now using ubuntu 12.04 instead of 10.04, and I'm using the
>>>>> xenomai-2.6.git branch. I am still not having any success. The
>>>>> kernel boots, but hangs as the GUI login box is coming up. This
>>>>> is similar to what happened under ubuntu 10.04/3.2.21, but the
>>>>> call trace seems a little different. I have attached my kernel
>>>>> config and the console output, which was captured via a serial
>>>>> connection. This exact kernel package seems to run fine (with
>>>>> very limited testing) on a 4-core Intel X9650 desktop machine
>>>>> running the same OS, for what it's worth. Any help in debugging
>>>>> this would be appreciated. What's my next step?
>>>>
>>>>
>>>> I am afraid that is another known issue fixed in the 3.4 branch.
>>>> Please try the I-pipe git; git://git.denx.de, branch core-3.4.
>>>>
>>>
>>> Thanks again, Gilles.
>>>
>>> I just rebuilt the kernel using the core-3.4 branch of ipipe.git with
>>> xenomai-2.6.git. I started with the same kernel config as before and
>>> then disabled a few drivers to get everything to compile without
>>> errors.
>>
>>
>> If you do not need to disable these drivers to compile the kernel
>> without Xenomai, then it is not normal, please be more specific.
>
> I started with a 3.2-series kernel config (posted earlier) that compiled with
> Xenomai. I then copied that config over into the ipipe-core-3.4 build
> directory before running menuconfig. When I tried to compile the kernel, I
> encountered some section mismatch errors. To get those to go away, I ended
> up disabling the following options:
>
> # Device Drivers
> # GPIO Support
> # Intel EG20T PCH/LAPIS Semiconductor IOH(ML7223/ML7831)...
> # USB Support
> # USB Gadget Support
> # Staging drivers
> # Data acquisition support (comedi)
>
> It wasn't quite clear to me which comedi module was giving me trouble, so I
> disabled all of it, although it probably wasn't necessary. I'm pretty sure
> that these problems were a result of migrating my kernel config from 3.2 to
> 3.4, and don't have anything to do with Xenomai. I did not try to compile a
> vanilla 3.4 kernel, so I can't be certain. I apologize for the confusion. I
> only mentioned that so you would know that the config was very slightly
> different from what I posted last time.
>
>>> The system still crashes, but now it seems to happen several
>>> seconds after the login box has appeared. The console output is
>>> shown below.
>>
>>
>> This does not look like the same issue, right? As usual, could you
>> disassemble __ipipe_dispatch_irq, or run addr2line for the error address
>> (0xffffffff810ac055)?
>
> It appears to be a different issue. Since I have a bzImage in my boot
> directory, I ran:
>
> addr2line -i -e vmlinux ffffffff810ac055
>
> on the vmlinux file I found in my kernel build directory. I'm assuming that
> is the right thing to do. Here is the result:
>
> linux-3.4.6-ipipe-core-3.4.git.2012.10.09/include/linux/ipipe.h:342
> linux-3.4.6-ipipe-core-3.4.git.2012.10.09/kernel/ipipe/core.c:1211
>
> The code looks like this:
>
> ipipe.h:
>
> static inline int ipipe_chained_irq_p(struct irq_desc *desc)
> {
> void __ipipe_chained_irq(unsigned irq, struct irq_desc *desc);
>
> --> return desc->handle_irq == __ipipe_chained_irq;
> }
>
> core.c:
> if (unlikely(irq >= NR_IRQS)) {
> desc = NULL;
> chained_irq = 0;
> } else {
> desc = irq_to_desc(irq);
> --> chained_irq = ipipe_chained_irq_p(desc);
> }
Ok, desc can be NULL, so, we should have
chained_irq = desc ? ipipe_chained_irq_p(desc) : 0;
--
Gilles.
_______________________________________________
Xenomai mailing list
[email protected]
http://www.xenomai.org/mailman/listinfo/xenomai
