Le lundi 29 mai 2006 à 17:45 +0200, Gilles Chanteperdrix a écrit :
> Stelian Pop wrote:
>  > If you have specific questions feel free to ask. But I suggest you read
>  > and try to understand the code first.
> Maybe we could provide a quick overview of how this works, Stelian,
> please correct me if I am wrong. 

Your description is accurate. However, such deep knowledge on the inner
workings should not be needed to port Xenomai to a new ARM platform.
(well, in case it works immediately. Debugging the port could need more
knowledge :) ).

In the list of 'undocumented' functions there is also
__ipipe_mach_get_tsc() which should return some accurate time
information. Most of the ARM platforms do not have a special Time Stamp
Clock register, so most of the time the tick count is used instead
(giving a TSC resolution of one microsecond). This is what standard
Linux also use.

If the platform has something more appropriate than the core timer for
measuring the time, this function is where you need to wire it.

Open Wide

Xenomai-core mailing list

Reply via email to