Files | |
| file | __timeout.h |
| Timeout definitions. | |
| file | __l4_fpage-32bit.h |
| Fpage definitions for 32bit systems. | |
| file | __l4_fpage-64bit.h |
| Fpage definitions for 64bit systems. | |
| file | __l4_fpage-common.h |
| Common fpage definitions. | |
| file | syscalls_gen.h |
| Common syscall definitions. | |
| file | syscalls-impl.h |
| Common syscall definitions. | |
| file | ARCH-amd64/L4API-l4v2/ipc.h |
| L4 IPC System Calls, amd64. | |
| file | ARCH-amd64/L4API-l4v2/syscalls.h |
| L4 System calls (except for IPC). | |
| file | ARCH-arm/L4API-l4v2/ipc.h |
| L4 IPC System Calls, ARM. | |
| file | ARCH-arm/L4API-l4v2/syscalls.h |
| Syscalls for ARM architecture. | |
| file | kdebug.h |
| Kernel debugger macros. | |
| file | segment.h |
| Segment handling. | |
| file | ARCH-x86/L4API-l4v2/ipc.h |
| L4 IPC System Calls, x86. | |
| file | ktrace.h |
| L4 kernel event tracing. | |
| file | ARCH-x86/L4API-l4v2/syscalls.h |
| L4 System calls (except for IPC). | |
Modules | |
| IPC | |
| Inter Process Communication (IPC). | |
| Other system calls | |
| The other system calls besides IPC. | |
| L4 kernel debugger | |
| Defines and functions to use the L4 kernel debugger. | |
| Fiasco extensions | |
| Kernel debugger extensions of the Fiasco L4 implementation. | |
| Fiasco real time scheduling extensions | |
| Real time scheduling extension for the Fiasco L4 implementation. | |
| UTCB functionality | |
| Defines UTCB related functions and types. | |