kern

view src/config.h @ 46:b793b8fcba7d

apparently free_phys_page was never tested. the check for double-freeing a page was inverted.
author John Tsiombikas <nuclear@member.fsf.org>
date Thu, 28 Jul 2011 05:33:59 +0300
parents
children b1e8c8251884
line source
1 #ifndef _CONFIG_H_
2 #define _CONFIG_H_
4 /* frequency of generated timer ticks in hertz */
5 #define TICK_FREQ_HZ 250
7 #endif /* _CONFIG_H_ */