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

Directories

Files

file  __kernel_object_impl.h [code]
 Low-level kernel debugger functions.
 
file  __ktrace-impl.h [code]
 L4 kernel event tracing.
 
file  __typeinfo.h [code]
 Type information handling.
 
file  assert.h [code]
 Low-level assert implementation.
 
file  cache.h [code]
 Cache-consistency functions.
 
file  capability [code]
 L4::Cap related definitions.
 
file  compiler.h [code]
 L4 compiler related defines.
 
file  consts.h [code]
 Common constants.
 
file  debugger [code]
 The debugger interface specifies common debugging related definitions.
 
file  debugger.h [code]
 Debugger related definitions.
 
file  err.h [code]
 Error codes.
 
file  exception [code]
 Exception C++ interface.
 
file  factory [code]
 Common factory related definitions.
 
file  factory.h [code]
 Common factory related definitions.
 
file  icu [code]
 Interrupt controller.
 
file  icu.h [code]
 Interrupt controller.
 
file  ipc.h [code]
 Common IPC interface.
 
file  ipc_gate [code]
 The C++ IPC gate interface.
 
file  ipc_gate.h [code]
 The C IPC gate interface.
 
file  irq [code]
 C++ Irq interface.
 
file  irq.h [code]
 C Irq interface.
 
file  kernel_object.h [code]
 Kernel object system calls.
 
file  kip [code]
 
file  kip.h [code]
 Kernel Info Page access functions.
 
file  ktrace.h [code]
 L4 kernel event tracing.
 
file  l4int.h [code]
 Fixed sized integer types, generic version.
 
file  memdesc.h [code]
 Memory description functions.
 
file  meta [code]
 Meta interface for getting dynamic type information about objects behind capabilities.
 
file  pager [code]
 Pager and Io_pager C++ interface.
 
file  platform_control [code]
 Platform control object.
 
file  platform_control.h [code]
 Platform control object.
 
file  rcv_endpoint [code]
 The C++ Receive endpoint interface.
 
file  rcv_endpoint.h [code]
 Receive endpoint C interface.
 
file  scheduler [code]
 Scheduler object functions.
 
file  scheduler.h [code]
 Scheduler object functions.
 
file  semaphore [code]
 Semaphore class definition.
 
file  smart_capability [code]
 L4::Capability class.
 
file  task [code]
 Common task related definitions.
 
file  task.h [code]
 Common task related definitions.
 
file  thread [code]
 Common thread related definitions.
 
file  thread.h [code]
 Common thread related definitions.
 
file  typeinfo_svr [code]
 Type information server template.
 
file  types.h [code]
 Common L4 ABI Data Types.
 
file  utcb.h [code]
 UTCB definitions.
 
file  vcon [code]
 Virtual console interface.
 
file  vcon.h [code]
 Virtual console interface.
 
file  vhw.h [code]
 Descriptors for virtual hardware (under UX).
 
file  vm [code]
 Virtualization interface.