[timer] Formalise the timer API
[people/asdlkf/gpxe.git] / src / config / defaults / pcbios.h
index df6e93c..4cf2d7e 100644 (file)
@@ -9,6 +9,7 @@
 
 #define IOAPI_X86
 #define PCIAPI_PCBIOS
 
 #define IOAPI_X86
 #define PCIAPI_PCBIOS
+#define TIMER_PCBIOS
 #define CONSOLE_PCBIOS
 
 #endif /* CONFIG_DEFAULTS_PCBIOS_H */
 #define CONSOLE_PCBIOS
 
 #endif /* CONFIG_DEFAULTS_PCBIOS_H */