On 2011-06-13 21:06, Jakub Nowacki wrote: > On 13/06/2011 18:43, Gilles Chanteperdrix wrote: >> >> Please post your .config. >> > > Here you are.
Do you have the irqbalance daemon running? If yes, disable it and retry. If it helps, you may also want to try git://git.kiszka.org/ipipe.git queues/2.6.38-x86 If that doesn't help, try to disable CONFIG_DMAR (though it should left off by default during boot) and CONFIG_INTR_REMAP. Regarding CONFIG_HPET_TIMER: That's not selectable on x86-64. If you have "enough" cores, the kernel will run out of HPET timers and won't select them as clock events. With 8 cores, you should be safe, but better check the kernel boot messages for "hpet" or the state of /proc/timer_list regarding "Clock Event Device" when booting the same kernel without Xenomai support. Jan
signature.asc
Description: OpenPGP digital signature
_______________________________________________ Xenomai-help mailing list [email protected] https://mail.gna.org/listinfo/xenomai-help
