Jan Kiszka wrote:
> Intermediate helper as long as skins implement fast locking and related
> owner tracking on their own: Add 'forward XN_ROBBED state' to the caller
> of xnsynch_sleep_on so that the correct owner can be looked up there.
Nak. We already discussed this with Philippe, XNROBBED is an internal
thing for xnsynch and should not leak to skins code. I actually happen
to find the current workaround cleaner.
Xenomai-core mailing list