From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <4AF04886.9040903@domain.hid>
Date: Tue, 03 Nov 2009 16:13:10 +0100
From: Gilles Chanteperdrix <gilles.chanteperdrix@xenomai.org>
MIME-Version: 1.0
References: <725957.56219.qm@domain.hid>
In-Reply-To: <725957.56219.qm@domain.hid>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit
Subject: Re: [Xenomai-help] Porting I-Pipe for new ARM board
List-Id: Help regarding installation and common use of Xenomai
	<xenomai.xenomai.org>
List-Unsubscribe: <https://mail.gna.org/listinfo/xenomai-help>,
	<mailto:xenomai-help-request@domain.hid>
List-Archive: </public/xenomai-help>
List-Post: <mailto:xenomai@xenomai.org>
List-Help: <mailto:xenomai-help-request@domain.hid>
List-Subscribe: <https://mail.gna.org/listinfo/xenomai-help>,
	<mailto:xenomai-help-request@domain.hid>
To: Wael Showair <showair2003@domain.hid>
Cc: Xenomai-help@domain.hid, didenkos@domain.hid

Wael Showair wrote:
> Hi All,
> i have TS-7800 board based on Marvell 88F5182 processor core.
> Unfortunately it is not supported by I-Pipe patch so according to the
> following link:
> 
> http://www.xenomai.org/index.php/I-pipe:ArmPorting
> 
> And with aid of this forum thread:
> 
> http://www.mail-archive.com/xenomai@xenomai.org

If you follow that thread, you will see that I already told its author
that the code was not correct.

Fortunately Philippe did a port which was tested and works, I will fix
one or two details and send it tonight (european time).

-- 
                                          Gilles