Merge branch 'xl0-timer'

[people/sha0/gpxe.git] / src / core / config.c

diff --git a/src/core/config.c b/src/core/config.c
index e7db221..24db355 100644 (file)
--- a/src/core/config.c
+++ b/src/core/config.c
@@ -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
  *