From mboxrd@z Thu Jan 1 00:00:00 1970 Message-ID: <537C7F76.5090000@xenomai.org> Date: Wed, 21 May 2014 12:27:02 +0200 From: Philippe Gerum MIME-Version: 1.0 References: <537B607E.1090800@free.fr> <537B6293.9010608@xenomai.org> <537C74F2.10207@free.fr> In-Reply-To: <537C74F2.10207@free.fr> Content-Type: text/plain; charset="iso-8859-1"; format="flowed" Content-Transfer-Encoding: quoted-printable Subject: Re: [Xenomai] which stable ipipe version and kernel ? List-Id: Discussions about the Xenomai project List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: =?ISO-8859-1?Q?St=E9phane_ANCELOT?= Cc: xenomai@xenomai.org On 05/21/2014 11:42 AM, St=E9phane ANCELOT wrote: > No sorry, I made a mistake, it is an x86 - 64 bits platform > > Then this one will do,=20 http://download.gna.org/adeos/patches/v3.x/x86/ipipe-core-3.10.32-x86-2.pat= ch.=20 3.14 is currently in the testing stage at=20 git://git.xenomai.org/ipipe.git, but not released yet. > On 20/05/2014 16:11, Philippe Gerum wrote: >> On 05/20/2014 04:02 PM, St=E9phane ANCELOT wrote: >>> Hi, >>> >>> I need building a stable 3.x kernel ia64 bits, which ipipe to use ? >>> >> >> If you really mean Itanium, then there will be no support for this >> configuration: >> >> http://xenomai.org/index.php/Other_Hardware_Support#ia64 >> > > --=20 Philippe.