On 12/14/2012 11:33 AM, [email protected] wrote:
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?
We can either pull changes from a public git repository you would maintain, or merge properly formatted commits sent to this list inline.
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.
You are welcome.
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.
-- Philippe. _______________________________________________ Xenomai mailing list [email protected] http://www.xenomai.org/mailman/listinfo/xenomai
