Barrelfish
x86_32 Directory Reference

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.