I followed the instructions given [here](https://github.com/claudioscordino/rpi3-xenomai) 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.