src/config/defaults/pcbios.h

   1 #ifndef CONFIG_DEFAULTS_PCBIOS_H
   2 #define CONFIG_DEFAULTS_PCBIOS_H
   3
   4 /** @file
   5  *
   6  * Configuration defaults for PCBIOS
   7  *
   8  */
   9
  10 #define IOAPI_X86
  11
  12 #define CONSOLE_PCBIOS
  13
  14 #endif /* CONFIG_DEFAULTS_PCBIOS_H */