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
  *