From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <537C74F2.10207@free.fr>
Date: Wed, 21 May 2014 11:42:10 +0200
From: =?ISO-8859-1?Q?St=E9phane_ANCELOT?= <sancelot@free.fr>
MIME-Version: 1.0
References: <537B607E.1090800@free.fr> <537B6293.9010608@xenomai.org>
In-Reply-To: <537B6293.9010608@xenomai.org>
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 <xenomai.xenomai.org>
List-Unsubscribe: <http://www.xenomai.org/mailman/options/xenomai>,
 <mailto:xenomai-request@xenomai.org?subject=unsubscribe>
List-Archive: <http://www.xenomai.org/pipermail/xenomai/>
List-Post: <mailto:xenomai@xenomai.org>
List-Help: <mailto:xenomai-request@xenomai.org?subject=help>
List-Subscribe: <http://www.xenomai.org/mailman/listinfo/xenomai>,
 <mailto:xenomai-request@xenomai.org?subject=subscribe>
To: Philippe Gerum <rpm@xenomai.org>
Cc: xenomai@xenomai.org

No sorry, I made a mistake, it is an x86 - 64 bits platform


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=20
> configuration:
>
> http://xenomai.org/index.php/Other_Hardware_Support#ia64
>