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 */ 22