kern

annotate 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
rev   line source
nuclear@33 1 #ifndef _CONFIG_H_
nuclear@33 2 #define _CONFIG_H_
nuclear@33 3
nuclear@33 4 /* frequency of generated timer ticks in hertz */
nuclear@33 5 #define TICK_FREQ_HZ 250
nuclear@33 6
nuclear@33 7 #endif /* _CONFIG_H_ */