[timer] Remove now-obsolete references to TIMER_BIOS and TIMER_RDTSC

diff --git a/src/config/general.h b/src/config/general.h
index ea09761ea4959593eb5bfad6e0bc0660af4b267d..1e6fba3433a138d30cf04e26971e74b5b82c061b 100644 (file)
--- 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 81e65ad46fdb05c4353d9e2b3e59c4280b0dbf9e..0ed837d7d695d24bef8263546b16e41eed38f235 100644 (file)
--- 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
  *