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 _______________________________________________ l4-hackers mailing list [email protected] http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
