|
| file | cap_predicates.h |
| | Kernel capability predicates (to be generated by Hamlet).
|
| |
| file | capabilities.h |
| | Kernel capability management.
|
| |
| file | debug.h |
| | Kernel debugging helpers.
|
| |
| file | dispatch.h |
| | Kernel management of dispatchers.
|
| |
| file | exec.h |
| | kernel execution and miscellany
|
| |
| file | gdb_stub.h |
| | Header for generic GDB stub code.
|
| |
| file | kcb.h |
| | Kernel control block declarations.
|
| |
| file | kernel.h |
| | Standard headers for kernel code.
|
| |
| file | kernel_multiboot.h |
| | Relay header for multiboot structures and kernel-specific function definitions.
|
| |
| file | kputchar.h |
| | A struct for all shared data between the kernels.
|
| |
| file | logging.h |
| | Kernel logging infrastructure headers.
|
| |
| file | paging_generic.h |
| | Kernel memory management.
|
| |
| file | paging_kernel_helper.h |
| | A paging helper file.
|
| |
| file | schedule.h |
| | Kernel scheduling API.
|
| |
| file | serial.h |
| | Architecture-independent interface to the kernel serial port subsystem.
|
| |
| file | startup.h |
| | Startup prototypes.
|
| |
| file | sys_debug.h |
| | Arch-generic system calls implementation.
|
| |
| file | syscall.h |
| | Arch-generic system calls implementation.
|
| |
| file | systime.h |
| | System time.
|
| |
| file | timer.h |
| | Header for one-shot timer support.
|
| |
| file | useraccess.h |
| | User space memory access functions.
|
| |
