Fiasco.OC API documentation

[Neal H. Walfield]

Hi, Adam,

At Sun, 27 Oct 2013 23:19:22 +0100,
Adam Lackorzynski wrote:
> On Fri Oct 25, 2013 at 10:49:36 +0200, Neal H. Walfield wrote:
> > 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
> 
> Maybe this part is more what you're looking for
> https://os.inf.tu-dresden.de/L4Re/doc/group__l4__kernel__object__api.html
> However, probably less verbose than what's in the Mach docs.

Thanks for the pointer.

:) Neal