Barrelfish
|
Files | |
file | debug.c |
Kernel debugging functions. | |
file | exec.c |
x86-64 execution and miscellany | |
file | gdb_arch.c |
x86-specific parts of in-kernel GDB stub. | |
file | init.c |
x86-32 architecture initialization. | |
file | irq.c |
x86-32 interrupt/exception handling utility functions | |
file | microbenchmarks.c |
Architecture-specific microbenchmarks. | |
file | page_mappings_arch.c |
file | paging.c |
x86-32 kernel page-table setup | |
file | startup_arch.c |
x86_32 kernel bootup code. | |
file | syscall.c |
System calls implementation. | |