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

Joe Lee joelee271828 at gmail.com
Wed Dec 9 06:53:39 CET 2015

Hi Mathieu,
Disabling xenomai and only leave the IPIPE patch enable is OK. About
1000 times reboot no abnormal found.

2015-12-06 6:34 GMT+08:00 Mathieu Rondonneau <mathieu_rondonneau at hotmail.com>:
> 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:
> https://www.raspberrypi.org/downloads/raspbian/
> can you try disabling xenomai from the kernel config to see if the
> problem happens also when only the IPIPE patch is turned ON?
> Thanks,
> -Mathieu

Joe Lee

More information about the Xenomai mailing list