src/config/defaults/efi.h

   1 #ifndef CONFIG_DEFAULTS_EFI_H
   2 #define CONFIG_DEFAULTS_EFI_H
   3
   4 /** @file
   5  *
   6  * Configuration defaults for EFI
   7  *
   8  */
   9
  10 #define UACCESS_EFI
  11 #define IOAPI_EFI
  12 #define PCIAPI_EFI
  13 #define CONSOLE_EFI
  14 #define TIMER_EFI
  15 #define NAP_EFIX86
  16 #define UMALLOC_EFI
  17 #define SMBIOS_EFI
  18
  19 #define IMAGE_EFI               /* EFI image support */
  20
  21 #endif /* CONFIG_DEFAULTS_EFI_H */