[timer] Formalise the timer API

[people/asdlkf/gpxe.git] / src / config / defaults / pcbios.h

diff --git a/src/config/defaults/pcbios.h b/src/config/defaults/pcbios.h
index f1a48bc..4cf2d7e 100644 (file)
--- a/src/config/defaults/pcbios.h
+++ b/src/config/defaults/pcbios.h
@@ -8,5 +8,8 @@
  */
 
 #define IOAPI_X86
+#define PCIAPI_PCBIOS
+#define TIMER_PCBIOS
+#define CONSOLE_PCBIOS
 
 #endif /* CONFIG_DEFAULTS_PCBIOS_H */