Re: POWER64 architecture support

"Christian Böhme" <[email protected]> Thu, 24 Feb 2011 21:24:21 +0100
Newsgroups gmane.comp.micro-kernel.l4.l4ka.general
Message-ID <[email protected]>
> The ppc32 port has been tested at least the embedded versions,
> the code for 750 platforms and the likes is outdated as well. 

Big ACK here. I (foolishly enough thinking that the code would at
the very least compile) tried building the kernel for precisely that
processor from the current head of the repository (aff62c454df4)
two weeks ago but had no luck.

The current 32bit PowerPC code appears to be very much Book E
based loaded with hardware dependent assumptions such as software
managed TLBs (as is available in the 4xx series) even for the 750,
relying on compiler implementation details (such as proper register
allocation from inline assembler C/C++ statements or lack thereof)
etcpp. prompting me to postpone the affair until I have more time
to go into the details and fix these issues to make the kernel fly
again.  Since a) doing so would ultimately mean moving not necessarily
negligible amounts of code around and b) I want to avoid stepping on
anyone's toes, what's the accepted policy here for read-only users
such as myself?  Am I to submit patch(es) for inclusion or will
there be some evaluation by a guru first?


Cheers,
Christian

-- 
GMX DSL Doppel-Flat ab 19,99 Euro/mtl.! Jetzt mit 
gratis Handy-Flat! http://portal.gmx.net/de/go/dsl