RE: POWER64 architecture support

You can find some zombie code of that POWERPC64 effort in the current l4ka =
repository.=20

I have no experience with what's in there for ppc64, it may be useful for a=
 start. The ppc32 port has been tested at least the embedded versions, the =
code for 750 platforms and the likes is outdated as well.=20

If you consider porting to POWER7, I would suggest that you consider doing =
a "merged" 32/64-bit code design, similar to what we did for x86, where we =
try to share as much functionality across 32-bit/64-bit architecture as pos=
sible, and use two subarchitectures (x32/x64) for all functions that need d=
ifferent implementations.=20

-Jan




--
Dr.-Ing. Jan Stoess
KIT/UKa System Architecture Group
Phone: +49 (721) 6084 4056
Fax: +49 (721) 6084 7664
http://os.ibds.kit.edu/stoess=20


> -----Original Message-----
> From: [email protected] [mailto:[email protected]
> karlsruhe.de] On Behalf Of Gernot Heiser
> Sent: Wednesday, February 09, 2011 05:31
> To: [email protected]
> Subject: Re: POWER64 architecture support
>=20
> > I am thinking about porting l4::pistachio on POWER7.
> >
> > What is the current status of the POWER64 port ?
> > Is there any documentation around ?
>=20
> Was partially done on POWER4 by students of mine about 7 years ago and th=
en
> discontinued (partially because IBM at the time didn't let us break into =
bare-
> metal mode). There probably isn't anything useful left other what's on l4=
hq.org
>=20
> Gernot