Hi Gilles,Thanks for the help. In a previous kernel config I used CONFIG_HIGH_RES_TIMERS, but I had the same failure.
I will change my config now and I will send you a mail if I'm finished.
Tamas _______________________________________________ Xenomai-help mailing list [email protected] https://mail.gna.org/listinfo/xenomai-help
