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.