Where can I download Xenomai patches for Raspberry Pi?
As we are going to patch the kernel source with the Xenomai patch, both versions have to be the same. The Xenomai patches can be downloaded here. At the moment of writing this, the last compatible patch is for kernel version 4.14.36. Looking at the commits in https://github.com/raspberrypi/linux.git there are no merge for this kernel version.
What should I do if my Raspberry Pi is not booting?
To boot a Raspberry Pi and make it work as expected, you are recommended to use the official power supply (provides at least 3A for Pi 4 and 2.5A for Pi3). You should also make sure the power cable works with your RPi. In some cases, Raspberry Pi indication LEDs are in normal status but the device cannot display any video.
Where can I download the Linux kernel for Raspberry Pi?
The Raspberry PI kernel source will be downloaded to the linux subdirectory (1-2GB) and the Raspberry PI cross-compilers to the tools subdirectory (200MB). We need also the Xenomai files and the patch, in this case I took the last stable version (v3.0.7) and the patch for arm32.
Is the Raspberry Pi 2, 3 B + arm Micro compatible?
Checking the list of supported hardware, the Raspberry Pi 2, 3 B (+) ARM micro (BCM2835) is included. This tutorial is almost the same as the tutorial for Preempt-RT patching, but in this case, we need to patch the kernel. The patched Preempt-RT sources are included in the official Raspberry Pi repository.
How to put Xenomai 3 cobalt on Raspberry Pi 3?
This short guide explains how to put Xenomai 3 Cobalt on the Raspberry Pi 3. Use lsblk to discover the flash device. Then, flash the image through: The cross-compiler binaries must be in the current PATH. Note that the initial default kernel configuration is available in the kernel/kernel-config file.
Are there any problems patching the Raspberry Pi kernel?
Two files have problems with the patch (also from kernel version 4.14.36): If you try to prepare the kernel to patch, you are going to get the following error: Unable to patch kernel 4.14.36/7 with ipipe-core-4.14.36/7-arm-1.patch. IMPORTANT: But, I included the patched files here.
Is the Raspberry Pi a real time system?
When the native Linux kernel cannot meet the response time requirements of the application, Xenomai supplements it with Cobalt, a small real-time infrastructure which schedules time-critical activities independently from the main kernel logic. Checking the list of supported hardware, the Raspberry Pi 2, 3 B (+) ARM micro (BCM2835) is included.