domain switch

Leandro Bucci guestleandro11 at gmail.com
Sat Jan 2 21:54:15 CET 2021


Hi, I wanted to know if there was a way to count the number of times a
domain switch happens.
For example the printf () function causes a domain switch, right?


More information about the Xenomai mailing list