From mboxrd@z Thu Jan  1 00:00:00 1970
References: <SG2PR04MB09259E1A276D872373BC1E4DF2B70@SG2PR04MB0925.apcprd04.prod.outlook.com>
From: Philippe Gerum <rpm@xenomai.org>
Message-ID: <3bb7c778-f334-464e-b14e-74fec09914e9@xenomai.org>
Date: Wed, 23 Nov 2016 12:36:03 +0100
MIME-Version: 1.0
In-Reply-To: <SG2PR04MB09259E1A276D872373BC1E4DF2B70@SG2PR04MB0925.apcprd04.prod.outlook.com>
Content-Type: text/plain; charset=windows-1252
Content-Transfer-Encoding: 7bit
Subject: Re: [Xenomai] Install Xenomai 3 on Ubuntu 16.04 LTS
List-Id: Discussions about the Xenomai project <xenomai.xenomai.org>
List-Unsubscribe: <https://xenomai.org/mailman/options/xenomai>,
 <mailto:xenomai-request@xenomai.org?subject=unsubscribe>
List-Archive: <http://xenomai.org/pipermail/xenomai/>
List-Post: <mailto:xenomai@xenomai.org>
List-Help: <mailto:xenomai-request@xenomai.org?subject=help>
List-Subscribe: <https://xenomai.org/mailman/listinfo/xenomai>,
 <mailto:xenomai-request@xenomai.org?subject=subscribe>
To: "RAGAGLIA Matteo (Matteo)" <matteo_ragaglia@yanmar.com>, "xenomai@xenomai.org" <xenomai@xenomai.org>

On 11/23/2016 12:27 PM, RAGAGLIA Matteo (Matteo) wrote:
> Hi everyone,
> 
>    I am trying to install Xenomai 3 on Ubuntu 16.04 LTS.
> 
> I cloned the official Xenomai repository (git://git.xenomai.org/xenomai-3.git) and I took a look at the official installation guide (https://xenomai.org/installing-xenomai-3-x/).
> 
> Anyway, I did not find the information regarding the proper kernel to patch and where to get it.
> 
> I was wondering if anyone could provide me some suggestions regarding this matter.

http://xenomai.org/start-here/#Gathering_the_Linux_kernel_bits
http://git.xenomai.org/xenomai-3.git/tree/kernel/cobalt/arch/x86/patches/README?h=stable-3.0.x

-- 
Philippe.