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

[Thomas Petazzoni]

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".

Best regards,

Thomas
-- 
Thomas Petazzoni, CTO, Free Electrons
Embedded Linux and Kernel engineering
http://free-electrons.com