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