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