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.

-- 
                                                 Gilles.

_______________________________________________
Xenomai-core mailing list
Xenomai-core@gna.org
https://mail.gna.org/listinfo/xenomai-core

Reply via email to