L4 API and ABI Documentation

Adam Lackorzynski adam at os.inf.tu-dresden.de
Sun Nov 12 17:22:47 CET 2006


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 at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/

More information about the l4-hackers mailing list