[timer] Remove now-obsolete references to TIMER_BIOS and TIMER_RDTSC
authorMichael Brown <mcb30@etherboot.org>
Sun, 12 Oct 2008 23:23:18 +0000 (00:23 +0100)
committerMichael Brown <mcb30@etherboot.org>
Sun, 12 Oct 2008 23:23:18 +0000 (00:23 +0100)
src/config/general.h
src/core/config.c

index ea09761..1e6fba3 100644 (file)
@@ -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 */
 
index 81e65ad..0ed837d 100644 (file)
@@ -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
  *