I followed the instructions given here to install Xenomai on a Raspberry Pi 3.

After installing the kernel (now the RPi uses the kernel-xenomai.img during boot) I couldn't access my network, neither through WiFi nor Ethernet. Furthermore, I cannot use UART or SSH to access the RPi.

I tried using raspi-config to configure the Network credentials and enable UART and SSH again (I had done it before installing Xenomai), but I still cannot use UART and the RPi is not connected to my network.

I assumed that after installing the xenomai user-space tools this would get fixed, but I'm still facing the same issue.

If you have worked with Xenomai or may know the cause of this problem, I will appreciate your help in fixing it.

Thank you.

EDIT

I've found the following error in var/log/messages:

could not find pctldev for node /soc/gpio@7e200000/uart0_pins

It might be that I'm using an outdated version of the Linux kernel. I'll try to update to 4.14.85 which is the last version of the kernel compatible with ipipe.