interrupts, timer, keyboard, segments, lots of kernel code

[bootcensus] / src / config.h

diff --git a/src/config.h b/src/config.h
index f01bf9d..fb361ca 100644 (file)
--- a/src/config.h
+++ b/src/config.h
@@ -1,6 +1,9 @@
 #ifndef PCBOOT_CONFIG_H_
 #define PCBOOT_CONFIG_H_
 
+/* frequency of generated timer ticks in hertz */
+#define TICK_FREQ_HZ           250
+
 #define CON_TEXTMODE
 #define CON_SERIAL