From 4704abbc5075c13230e00dd30b559c6e8ca07dbb Mon Sep 17 00:00:00 2001
From: Michael Brown <mcb30@etherboot.org>
Date: Sun, 2 Mar 2008 02:33:54 +0000
Subject: [PATCH] [Timers] Move TIMER_BIOS and TIMER_RDTSC to their own
 config.h section.

---
 src/config.h | 13 ++++++++++---
 1 file changed, 10 insertions(+), 3 deletions(-)

diff --git a/src/config.h b/src/config.h
index b3e57269..67fdd64c 100644
--- 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