Thanks for your prompt reply Philippe. Do you welcome reports of innacurate documentation etc. and if so, is there a mechanism, other than this list, to report them? I must say that in general, the quality of the documentation is excellent and allowed me, an experienced software engineer but a Linux novice, to get up and running relatively quickly. Thanks for the effort you have put in to this excellent project.
Dave. Philippe Gerum <[email protected]> 12/12/2012 16:45 To Dave JOYNSON/GBSRD01/Grid/ALSTOM@GA cc [email protected] Subject Re: [Xenomai] Timer support in user-space On 12/12/2012 05:26 PM, [email protected] wrote: > > Is the documentation incorrect for rtdm_timer_init() when it says > it may be used in user-space tasks? Yes. This is likely a copy&paste leftover. -- Philippe. _______________________________________________ Xenomai mailing list [email protected] http://www.xenomai.org/mailman/listinfo/xenomai
