Fiasco.OC API documentation

[Neal H. Walfield]

Hi,

I'm looking for documentation on Fiasco.OC's API.

I started here:

  http://os.inf.tu-dresden.de/fiasco/doc.html

This led me to this page:

  http://os.inf.tu-dresden.de/L4Re/doc/

This is mostly a theory page with some links to C++ API documentation,
e.g.:

  http://os.inf.tu-dresden.de/L4Re/doc/group__l4__ipc__api.html

Where should I be looking for a formal specification of the Fiasco.OC
APIs similar to, say:

  http://www.cs.cmu.edu/afs/cs/project/mach/public/doc/osf/kernel_interface.ps

Thanks for your help!

:) Neal