[Xenomai] [PATCH] IPIPE patch for BCM2709/RPI2 (version #5)

Mathieu Rondonneau mathieu_rondonneau at hotmail.com
Sat Dec 5 23:34:46 CET 2015

On 15-12-04 07:42 PM, Joe Lee wrote:
> Hi Mathieu,
> I apply the patch by Xenomai latest stable v3.0.1 to my RPI2, and
> sometimes the booting hang like this:
>  * Starting configure network device security[ OK ]
>  * Stopping load modules from /etc/modules[ OK ]
>  * Stopping userspace bootsplash[ OK ]
> That's low probability, about 1 of 60 times booting, and the original
> not patched kernel is OK.
> The kernel is the latest version from
> https://github.com/raspberrypi/linux/tree/rpi-3.18.y .
> First, I apply the ipipe patch "ipipe-core-3.18.20-arm-6.patch" from
> https://xenomai.org/downloads/ipipe/v3.x/arm/ . Then I apply your RPI
> patch version #5. The kernel is build follow this instruction
> https://www.raspberrypi.org/documentation/linux/kernel/building.md .
> The root file system is Ubuntu 14.04 LTS for RPI2, which from
> https://wiki.ubuntu.com/ARM/RaspberryPi .
> Attached is the kernel booting hang log file and kernel config file.
> What can I do to get more infomation for debugging when kernel booting hang?
> Look forward to your reply.
Hi Joe,

The only difference with your .config file is that I have earlyprintk
enabled but that should not cause the issue you are observing.

I am using the raspbian rootfs downloaded from the raspberry pi
foundation website:

can you try disabling xenomai from the kernel config to see if the
problem happens also when only the IPIPE patch is turned ON?


More information about the Xenomai mailing list