L4 API and ABI Documentation
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
Adam adam at os.inf.tu-dresden.de
More information about the l4-hackers