L4Re - L4 Runtime Environment
sys Directory Reference
+ Directory dependency graph for sys:

Files

file  ipc.h [code]
 L4 IPC System Calls, x86.
 
file  segment.h [code]
 l4f specific segment manipulation