[Xenomai] patch for RPI2

Mathieu Rondonneau mathieu_rondonneau at hotmail.com
Wed Dec 16 04:12:26 CET 2015

On 15-12-15 10:43 AM, Gilles Chanteperdrix wrote:
> On Tue, Dec 15, 2015 at 01:22:55PM +0100, ilyasse toumi wrote:
>> Hi there,
>> I'm using kernel rpi-3.18.y as mentioned in an email sent by Joe Lee about
>> RPI2, I used the patch ipipe-core-3.18.20-arm-6.patch and also the patch
>> for RPI2 version5, the problem is that when i try to compile the kernel
>> after patching it it gives some errors.
>> It's about some implicit declarations of functions that are present in the
>> patch like
>> __ipipe_mach_update_tsc
> This one is probably due to a misconfiguration, i.e. you enabled
> xenomai, but not a SOC or SOC family which provides an emulated tsc.
> A lot of the coded added by the patch is compiled conditionally, so
> the fact that a definition for a function is present in the patch
> does not necessarily mean that it will be present with your
> particular build configuration.
if you do use Xenomai-3.0, it could be that you are missing this part of
the patch?
diff --git a/arch/arm/Kconfig b/arch/arm/Kconfig
index 4860d5f..1194e5d 100644
--- a/arch/arm/Kconfig
+++ b/arch/arm/Kconfig
@@ -829,6 +829,7 @@ config ARCH_BCM2709
select VC4
select FIQ
# select ZONE_DMA
This enables support for Broadcom BCM2709 boards.

>> smp_mb__before_atomic_dec
>> smp_mb__before_atomic_dec
> This one indicates a version of Xenomai not ready for Linux 3.18.
> Xenomai 2.6.4 for instance can not be compiled with anything more
> recent than Linux 3.14. You can use Xenomai 2.6 git if you want
> Linux 3.18 support, or if starting a new development, it probably
> makes more sense to jump to Xenomai 3.0 directly.
> Regards.
That is correct, the patch is only for Xenomai 3.0.

More information about the Xenomai mailing list