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
Hi,
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.
Adam
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@os.inf.tu-dresden.de