Hello Gilles,

I do confirm that there is no more message while changing the configuration
of the kernel such like:
CONFIG_PROVE_LOCKING=n
CONFIG_DEBUG_LOCK_ALLOC=y

Thank you again & have a nice day,
Gautier.

2015-06-03 15:23 GMT+02:00 Gautier HAOUY <[email protected]>:

> Thank you for your prompt feedback, I'm going to look for the dependencies
> and let you know.
>
> 2015-06-03 15:09 GMT+02:00 Gilles Chanteperdrix <
> [email protected]>:
>
>> On Wed, Jun 03, 2015 at 03:00:33PM +0200, Gautier HAOUY wrote:
>> > Hello everyone,
>> >
>> > I'm requesting once again your help as I'm getting an "INFO message on
>> > inconsistent lock state" while booting linux 3.16.7 with ipipe arm-7 on
>> an
>> > iMX6 platform. I would like to understand how I could dive in and
>> determine
>> > if this is going to be an issue or just informational.
>> >
>> > I kindly ask for assistance as I did not find anything on the internet
>> on
>> > how to proceed with such case.
>>
>> Please try disabling CONFIG_TRACE_IRQFLAGS. It is known to be broken
>> with the I-pipe patch on ARM. You probably can not disable it
>> directly, you will have to remove all the options that depend on
>> this one.
>>
>> --
>>                                             Gilles.
>>
>
>
_______________________________________________
Xenomai mailing list
[email protected]
http://xenomai.org/mailman/listinfo/xenomai

Reply via email to