Barrelfish
Functions | Variables
misc.c File Reference

Miscellaneous kernel support code. More...

Functions

void halt (void)
 Spin forever.
 

Variables

bool kernel_ticks_enabled = true
 

Detailed Description

Miscellaneous kernel support code.

This file contains miscellaneous architecture-independent kernel support code that doesn't belong anywhere else.

Variable Documentation

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.