1 #ifndef _CONFIG_H_

2 #define _CONFIG_H_

3

4 /* frequency of generated timer ticks in hertz */

5 #define TICK_FREQ_HZ 250

6

7 #define TIMESLICE 100

8 #define TIMESLICE_TICKS (TIMESLICE * TICK_FREQ_HZ / 1000)

9

10 /* allow automatic user stack growth by at most 1024 pages at a time (4mb) */

11 #define USTACK_MAXGROW 1024

12

13 /* per-process kernel stack size (2 pages) */

14 #define KERN_STACK_SIZE 8192

15

16 #endif /* _CONFIG_H_ */