L4Re Operating System Framework
Interface and Usage Documentation
|
Directories | |
cxx | |
Files | |
__kernel_object_impl.h | |
Low-level kernel debugger functions. | |
__kip-32bit.h | |
__kip-64bit.h | |
__ktrace-impl.h | |
L4 kernel event tracing. | |
__l4_fpage.h | |
__platform_control-arm.h | |
__task-arm.h | |
__timeout.h | |
__typeinfo.h | |
Type information handling. | |
__vcpu-arm.h | |
__vm-arm.h | |
Virtualization interface. | |
__vm-svm.h | |
__vm-vmx.h | |
arm_smccc | |
ARM secure monitor call functions. | |
arm_smccc.h | |
ARM secure monitor call functions. | |
assert.h | |
Low-level assert implementation. | |
cache.h | |
Cache-consistency functions. | |
capability | |
L4::Cap related definitions. | |
compiler.h | |
L4 compiler related defines. | |
consts.h | |
Common constants. | |
debugger | |
The debugger interface specifies common debugging related definitions. | |
debugger.h | |
Debugger related definitions. | |
err.h | |
Error codes. | |
exception | |
Exception C++ interface. | |
factory | |
Common factory related definitions. | |
factory.h | |
Common factory related definitions. | |
icu | |
Interrupt controller. | |
icu.h | |
Interrupt controller. | |
iommu | |
ipc.h | |
Common IPC interface. | |
ipc_gate | |
The C++ IPC gate interface. | |
ipc_gate.h | |
The C IPC gate interface, see L4::Ipc_gate for the C++ interface. | |
irq | |
C++ Irq interface. | |
irq.h | |
C Irq interface. | |
kdebug.h | |
Functionality for invoking the kernel debugger. | |
kernel_object.h | |
Kernel object system calls. | |
kip | |
kip.h | |
Kernel Info Page access functions. | |
kobject | |
ktrace.h | |
L4 kernel event tracing. | |
l4int.h | |
Fixed sized integer types, generic version. | |
memdesc.h | |
Memory description functions. | |
meta | |
Meta interface for getting dynamic type information about objects behind capabilities. | |
pager | |
Pager and Io_pager C++ interface. | |
platform_control | |
Platform control object. | |
platform_control.h | |
Platform control object. | |
rcv_endpoint | |
The C++ Receive endpoint interface. | |
rcv_endpoint.h | |
Receive endpoint C interface. | |
scheduler | |
Scheduler object functions. | |
scheduler.h | |
Scheduler object functions. | |
semaphore | |
Semaphore class definition. | |
semaphore.h | |
C semaphore interface. | |
smart_capability | |
L4::Capability class. | |
task | |
Common task related definitions. | |
task.h | |
Common task related definitions. | |
thread | |
Common thread related definitions. | |
thread.h | |
Common thread related definitions. | |
typeinfo_svr | |
Type information server template. | |
types.h | |
Common L4 ABI Data Types. | |
utcb.h | |
UTCB definitions. | |
vcon | |
C++ Virtual console interface. | |
vcon.h | |
Virtual console interface. | |
vcpu.h | |
vCPU API | |
vcpu_context | |
Hardware vCPU context interface. | |
vcpu_context.h | |
vhw.h | |
Descriptors for virtual hardware (under UX). | |
vm | |
Virtualization interface. | |