![]() |
L4Re Operating System Framework
Interface and Usage Documentation
|
Files | |
| __kip-arch.h | |
| __vcpu-arch.h | |
| ARM-specific vCPU interface. | |
| atomic.h | |
| 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. | |