Re: POWER64 architecture support
Gernot Heiser <[email protected]> Wed, 9 Feb 2011 15:30:32 +1100
| Newsgroups | gmane.comp.micro-kernel.l4.l4ka.general |
|---|---|
| Message-ID | <[email protected]> |
> I am thinking about porting l4::pistachio on POWER7. >=20 > What is the current status of the POWER64 port ? > Is there any documentation around ? Was partially done on POWER4 by students of mine about 7 years ago and = then 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 l4hq.org Gernot=