Barrelfish
|
Files | |
file | init.c |
x86-64 architecture initialization. | |
file | mcheck.c |
x86 machine check architecture initialisation / "driver" | |
file | serial.c |
A basic (virtual) serial output for the Xeon Phi. | |
file | startup_arch.c |
x86_64 kernel bootup code. | |
file | xeon_phi.c |
Kernel debugging functions. | |