From 667819becca24fc8fbe6183163fcdfb2e4b9422d Mon Sep 17 00:00:00 2001
From: Michael Brown <mcb30@etherboot.org>
Date: Mon, 13 Oct 2008 00:23:18 +0100
Subject: [PATCH] [timer] Remove now-obsolete references to TIMER_BIOS and
 TIMER_RDTSC

---
 src/config/general.h |  2 --
 src/core/config.c    | 10 ----------
 2 files changed, 12 deletions(-)

diff --git a/src/config/general.h b/src/config/general.h
index ea09761e..1e6fba34 100644
--- a/src/config/general.h
+++ b/src/config/general.h
@@ -11,8 +11,6 @@
  * Timer configuration
  *
  */
-#define TIMER_BIOS		/* 18Hz BIOS timer */
-#define TIMER_RDTSC		/* CPU TimeStamp Counter timer */
 #define BANNER_TIMEOUT	20	/* Tenths of a second for which the shell
 				   banner should appear */
 
diff --git a/src/core/config.c b/src/core/config.c
index 81e65ad4..0ed837d7 100644
--- a/src/core/config.c
+++ b/src/core/config.c
@@ -60,16 +60,6 @@ REQUIRE_OBJECT ( pc_kbd );
 REQUIRE_OBJECT ( syslog );
 #endif
 
-/*
- * Drag in all requested timers
- */
-#ifdef TIMER_BIOS
-REQUIRE_OBJECT ( timer_bios );
-#endif
-#ifdef TIMER_RDTSC
-REQUIRE_OBJECT ( timer_rdtsc );
-#endif
-
 /*
  * Drag in all requested network protocols
  *