fe38fd03ba68b52bab53148cd9aa775456922102
[people/cooldavid/gpxe.git] / 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 */