POWER64 architecture support

Xavier Guérin <[email protected]> Tue, 8 Feb 2011 21:25:37 -0500

Newsgroups	gmane.comp.micro-kernel.l4.l4ka.general
Message-ID	<[email protected]>

Hello there,

I am thinking about porting l4::pistachio on POWER7.

What is the current status of the POWER64 port ?
Is there any documentation around ?

Thanks for the info,
/xavier