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