Problem compiling sequoia using DENX kernel. Xenomai-patch required?

[Wolfgang Denk]

In message <200712042314.38498.niklaus.giger at member.fsf.org> you wrote:
> Am Dienstag, 4. Dezember 2007 schrieb Wolfgang Denk:
> <...>
> > I'm afraid "normal" here still means arch/ppc  -  hopefully  for  not
> > long any more. Note: a matching Xenomai patch for arch/ppc will be in
> > Xenomai 2.4 when it comes out in a few days.
> Thanks a lot for your explanation. I took 
> ksrc/arch/powerpc/patches/adeos-ipipe-2.6.23-ppc-1.6-00.patch 
> from the xenomai trunk and was able to compile and boot successfully
> the yosemite board (using ARCH=ppc). Will try the sequoaia board tomorrow.
> 
> I hope that this is a good starting point to get my custom PPC440EPx board 
> into shape. I think once the arch/powerpc will work for PPC440 it should not 
> be a lot of work to port it from ppc -> powerpc.

Actually the arch/powerpc tree is working fine here, too.

You might have been unlucky and cloning / pulling  our  tree  at  the
wrong time; we had a stale DENX-v2.6.23.9 tag in there for some time;
unfortunately  the  fix  doesn't  propagate  as  your  side thinks it
already has a valid tag.

Please either "rm .git/refs/tags/DENX-v2.6.23.9" and pull  again,  or
throw  away  the  whole  tree  and  clone again. Sorry for the incon-
venience. And please let me know if this helps (it should).

Best regards,

Wolfgang Denk

-- 
DENX Software Engineering GmbH,     MD: Wolfgang Denk & Detlev Zundel
HRB 165235 Munich, Office: Kirchenstr.5, D-82194 Groebenzell, Germany
Phone: (+49)-8142-66989-10 Fax: (+49)-8142-66989-80 Email: wd at denx.de
One of the advantages of being a captain is being able to ask for ad-
vice without necessarily having to take it.
	-- Kirk, "Dagger of the Mind", stardate 2715.2