12 Nov
2006
12 Nov
'06
5:22 p.m.
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 adam@os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/