[Xenomai-core] Re: [BUG] racy xnshadow_harden under CONFIG_PREEMPT

[Jeroen Van den Keybus]

@Jeroen: Did you verify that your setup also works fine without
CONFIG_PREEMPT?

 

Verified. Your workaround works. No more dmesg logs.