Barrelfish
|
Miscellaneous kernel support code. More...
Functions | |
void | __stack_chk_fail (void) |
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.
void __stack_chk_fail | ( | void | ) |
Stack protection handler
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.