| #ifndef CONFIG_DEFAULTS_EFI_H |
| #define CONFIG_DEFAULTS_EFI_H |
| |
| /** @file |
| * |
| * Configuration defaults for EFI |
| * |
| */ |
| |
| FILE_LICENCE ( GPL2_OR_LATER ); |
| |
| #define UACCESS_EFI |
| #define IOAPI_X86 |
| #define PCIAPI_EFI |
| #define CONSOLE_EFI |
| #define TIMER_EFI |
| #define NAP_EFIX86 |
| #define UMALLOC_EFI |
| #define SMBIOS_EFI |
| #define SANBOOT_NULL |
| #define BOFM_EFI |
| #define ENTROPY_NULL |
| #define TIME_NULL |
| #define REBOOT_EFI |
| |
| #define IMAGE_EFI /* EFI image support */ |
| #define IMAGE_SCRIPT /* iPXE script image support */ |
| |
| #define REBOOT_CMD /* Reboot command */ |
| #define CPUID_CMD /* x86 CPU feature detection command */ |
| |
| #endif /* CONFIG_DEFAULTS_EFI_H */ |
