[Buildroot] [PATCH 1/1] xenomai: Add choice for Cobalt/Mercury core

[Arnout Vandecappelle]

On 10-04-17 13:51, Thomas Petazzoni wrote:
> Hello,
> 
> On Mon, 10 Apr 2017 11:08:21 +0200, Arnout Vandecappelle wrote:
> 
>>  In fact, I would forego the 'custom Xenomai version' support entirely. I don't
>> see why you would ever want an older version, and if you need a newer version
>> than the one in Buildroot you can just bump the package. Does anyone see a
>> reason to support multiple versions? [Adding ThomasDS in Cc to answer that.]
> 
> I think the main reason is that Xenomai includes kernel patches, but
> only for specific kernel versions. So if you're using a specific kernel
> version, you might need to use a specific Xenomai version, and not just
> "the latest".

 As far as I remember, older versions weren't removed that often, though they
did sometimes get updated to a later release of that branch. But I think in
these cases you just want to point to a specific version of the ipipe patch, and
don't want to use an older and potentially buggy xenomai version.

 While checking this, by the way, I discovered that the --default option to
prepare-kernel.sh no longer works (i.e., it no longer autodiscovers the patch to
apply). So linux-ext-xenomai.mk should be updated to disallow an empty ipipe
patch. Pawel, could you look into this? It should either autodiscover the patch
to apply similar to how rtai does it, or it should just $(error) in case
XENOMAI_ADEOS_PATCH is empty, similar to the handling of LINUX_KCONFIG_FILE (but
remember to check BR_BUILDING in that case...). I think autodiscovering is a bit
fragile, though.

 Regards,
 Arnout

> 
> Best regards,
> 
> Thomas
> 

-- 
Arnout Vandecappelle                          arnout at mind be
Senior Embedded Software Architect            +32-16-286500
Essensium/Mind                                http://www.mind.be
G.Geenslaan 9, 3001 Leuven, Belgium           BE 872 984 063 RPR Leuven
LinkedIn profile: http://www.linkedin.com/in/arnoutvandecappelle
GPG fingerprint:  7493 020B C7E3 8618 8DEC 222C 82EB F404 F9AC 0DDF