Barrelfish
server Directory Reference

Files

file  capstorage.c
 Simple capability storage.
 
file  init.c
 Code to initialize the octopus server.
 
file  queue.c
 Queue to deal with flounder continuations.
 
file  queue.h
 Queue for stack-ripped octopus server-side handler code.
 
file  service.c
 Contains handler functions for server-side octopus interface RPC call.