[Timers] Move TIMER_BIOS and TIMER_RDTSC to their own config.h section.

diff --git a/src/config.h b/src/config.h
index b3e5726..67fdd64 100644 (file)
--- a/src/config.h
+++ b/src/config.h
@@ -23,9 +23,6 @@
 #undef CONSOLE_BTEXT           /* Who knows what this does? */
 #undef CONSOLE_PC_KBD          /* Direct access to PC keyboard */
 
-#define TIMER_BIOS
-#define TIMER_RDTSC
-
 /* @END general.h */
 
 /* @BEGIN serial.h
@@ -54,6 +51,16 @@
 
 /* @END serial.h */
 
+/* @BEGIN general.h
+ *
+ * Timer configuration
+ *
+ */
+#define TIMER_BIOS             /* 18Hz BIOS timer */
+#define TIMER_RDTSC            /* CPU TimeStamp Counter timer */
+
+/* @END general.h */
+
 /* @BEGIN isa.h
  *
  * ISA probe address configuration