Barrelfish
|
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. | |