Fiasco.OC API documentation

"Neal H. Walfield" <[email protected]> Fri, 25 Oct 2013 10:49:36 +0200

Newsgroups	gmane.comp.micro-kernel.l4.devel
Message-ID	<87bo2dviov.wl%[email protected]>

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