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