|
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. | |
1.8.11