Jan Kiszka wrote:
> Quick question $customer stumbled over: Shouldn't the user space part of
> rt_task_set_priority also (or rather?) adjust the Linux priority of the
> caller? My impression is yes. Actually, translating the native priority
> to sched_setscheduler parameters and calling that service would be
> better, no?
I believe Philippe already fixed that in trunk.
Xenomai-core mailing list