Jan Kiszka wrote:
> ...
> - Note that migrating life-time stats between CPUs requires rebasing the
>   thread start time properly.

Nonsense. CPU-local clocks are considered offset-free for Xenomai use.