Hi,

On Sun Nov 12, 2006 at 17:06:52 +0100, Till Backhaus wrote:
> to get started with L4 I'd like to take a look at the L4 API- 
> Documentation and the L4 ABI-Documentation for the PowerPC.  
> Unfortunately I didn't find them at your site. Maybe someone can  
> point me to the right document(s)?

L4Ka::Pistachio supports the PowerPC architecture and describes
architecture specifics in the X.2 Reference Manual Appendix, available
from l4ka.org.




Adam
-- 
Adam                 [EMAIL PROTECTED]
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/

_______________________________________________
l4-hackers mailing list
[email protected]
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

Reply via email to