-/* -----------------------------------------------------------------------------
- How often our context-switch timer ticks
- -------------------------------------------------------------------------- */
-
-#define TICK_FREQUENCY 50 /* ticks per second */
-