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.
I've found the following error in
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.