@Jeroen: Did you verify that your setup also works fine without
CONFIG_PREEMPT?
 
Verified. Your workaround works. No more dmesg logs.
 
_______________________________________________
Xenomai-core mailing list
Xenomai-core@gna.org
https://mail.gna.org/listinfo/xenomai-core

Reply via email to