Barrelfish
|
Directories |
Files | |
file | init.h |
x86-64 architecture initialization | |
file | kernel_boot_param.h |
Struct definition for the boot param struct supplied by the K1OM boot loader. | |
file | kputchar.h |
A struct for all shared data between the kernels. | |
file | linux_host.h |
contains functions to signal a linux based host | |
file | offsets.h |
file | x86.h |
X86 inline asm utilities and defines. | |
file | xeon_phi.h |
Header for Xeon Phi Specific Addresses. | |