Hello, in pSOS skin function ev_receive() in file event.c I've found a bug. When ev_receive() is called with EV_WAIT and an event is received, the task is unblocked and everything is okay, then in this case the copy of the actual received events into *events_r is missing.
Regards Markus _______________________________________________ Xenomai-core mailing list Xenomai-core@gna.org https://mail.gna.org/listinfo/xenomai-core
