Hello, after reinstalling Xenomai on the Raspberry pi3 +, I added serial communication, IDDP and XDDP, etc in the kernel. But in /dev/rtdm I don't have rtser0 yet. I see GPIO for example and other thinghs. How is it possible? do I have to take a few more steps to enable it?