Merge branch 'xl0-timer'
[people/mdeck/gpxe.git] / src / core / config.c
index e7db221..24db355 100644 (file)
@@ -74,6 +74,17 @@ REQUIRE_OBJECT ( pc_kbd );
 REQUIRE_OBJECT ( syslog );
 #endif
 
+/*
+ * Timers
+ */
+
+#ifdef TIMER_BIOS
+REQUIRE_OBJECT ( timer_bios );
+#endif
+
+#ifdef TIMER_RDTSC
+REQUIRE_OBJECT ( timer_rdtsc );
+#endif
 /*
  * Drag in all requested protocols
  *