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