L4Re Operating System Framework
Interface and Usage Documentation
|
Files | |
__kip-arch.h | |
__vcpu-arch.h | |
ARM-specific vCPU interface. | |
atomic.h | |
Atomic memory modifications. | |
cache.h | |
Cache functions. | |
consts.h | |
Common L4 constants, arm version. | |
ktrace_events.h | |
l4int.h | |
Fixed sized integer types, arm version. | |
linkage.h | |
Linkage. | |
mem_op.h | |
Memory access functions (ARM specific) | |
platform_control.h | |
task.h | |
thread.h | |
ARM-specific thread related definitions. | |
utcb.h | |
UTCB definitions for ARM. | |
vm | |
vm.h | |
ARM virtualization interface. | |