nuclear@33: #ifndef _CONFIG_H_
nuclear@33: #define _CONFIG_H_
nuclear@33: 
nuclear@33: /* frequency of generated timer ticks in hertz */
nuclear@33: #define TICK_FREQ_HZ		250
nuclear@33: 
nuclear@51: #define TIMESLICE			100
nuclear@51: #define TIMESLICE_TICKS		(TIMESLICE * TICK_FREQ_HZ / 1000)
nuclear@51: 
nuclear@52: /* allow automatic user stack growth by at most 1024 pages at a time (4mb) */
nuclear@52: #define USTACK_MAXGROW		1024
nuclear@52: 
nuclear@54: /* per-process kernel stack size (2 pages) */
nuclear@54: #define KERN_STACK_SIZE		8192
nuclear@54: 
nuclear@33: #endif	/* _CONFIG_H_ */