Roberto Bielli wrote:
> Hi,
>
> i'm try to do the same things (porting xenomai 2.6.2.1 on imx6q sabresd
> kernel ) and i have the same error ('Switching to clocksource ipipe_tsc'
> on boot the kernel).
> The steps was these:
> 1. patch the kernel with the prepare-kernel.sh with the correct CFLAGS
> and LDFLAGS (adeos-ipipe-3.0.36-arm-1.18-11.patch)
> 2. apply the post patch (adeos-ipipe-3.0.36-arm-1.18-11-post.patch)
> 3. boot the new kernel
> 4. show the error 'Switching to clocksource ipipe_tsc'
>
> i have some simple question.
> 1. There is a solution actually for this (are there some kernel
> particular options to enable/disable)?
The answer to this question is contained in the quoted answer. So, please
read the answer again.
> Il 15/07/2013 20:18, Gilles Chanteperdrix ha scritto:
>> On 07/15/2013 03:00 PM, Younes CHALABI wrote:
>>
>>> Hi Gilles,
>>>
>>> I have tried to disable the CONFIG_IPIPE and CONFIG_XENOMAI manually
>>> on the .config, where CONFIG_cpu_IDLE was already disabled, then
>>> recompile but still have the same issue as previously.
>>
>>
>> It is generally not a good idea to edit the .config manually.
>> Automatic dependencies may re-enable the options you want disabled.
>>
>> Anyway, if indeed the kernel without CONFIG_IPIPE and CONFIG_XENOMAI
>> does not boot, your problem has probably nothing to do with Xenomai.
>>
>> Again, I would recommend using mx6q_defconfig and checking that this
>> default configuration at least boots.
>>
>>
>
>
--
Gilles
_______________________________________________
Xenomai mailing list
[email protected]
http://www.xenomai.org/mailman/listinfo/xenomai
