L4Re Operating System Framework
Interface and Usage Documentation
Loading...
Searching...
No Matches
sys Directory Reference
+ Directory dependency graph for sys:

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.