L4Re - L4 Runtime Environment
|
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. | |