Barrelfish
|
Miscellaneous kernel support code. More...
Functions | |
void | halt (void) |
Spin forever. | |
Variables | |
bool | kernel_ticks_enabled = true |
Miscellaneous kernel support code.
This file contains miscellaneous architecture-independent kernel support code that doesn't belong anywhere else.
bool kernel_ticks_enabled = true |
'true' if kernel should handle and context switch on timer ticks. Pass the ticks parameter on the kernel command line if you want to change this.