Barrelfish
x86 Directory Reference

Files

file  apic.c
 Intel 64 local APIC driver.
 
file  cmos.c
 CMOS RAM interface functions.
 
file  conio.c
 Text-mode video console output driver.
 
file  debugregs.c
 x86 debug registers
 
file  ipi_notify.c
 Inter-processor interrupt (IPI) notify mechanism.
 
file  mcheck.c
 x86 machine check architecture initialisation / "driver"
 
file  misc.c
 Miscellaneous kernel support code.
 
file  multiboot.c
 Multiboot utility functions.
 
file  perfmon.c
 AMD performance monitoring infrastructure.
 
file  perfmon_amd.c
 AMD performance monitoring infrastructure.
 
file  perfmon_intel.c
 Intel 64 performance monitoring infrastructure.
 
file  pic.c
 Classic 8259A PIC driver.
 
file  pit.c
 x86 legacy timer driver (PIT).
 
file  rtc.c
 Simple RTC hardware clock access.
 
file  serial.c
 PC16550 low-level kernel UART driver.
 
file  startup_x86.c
 x86 kernel bootup code.
 
file  syscall.c
 Arch-specific system calls implementation.
 
file  timing.c
 Timer calibration and setting functions.