2008-10-12 01:55:55 +01:00
|
|
|
#ifndef CONFIG_DEFAULTS_EFI_H
|
|
|
|
|
#define CONFIG_DEFAULTS_EFI_H
|
|
|
|
|
|
|
|
|
|
/** @file
|
|
|
|
|
*
|
|
|
|
|
* Configuration defaults for EFI
|
|
|
|
|
*
|
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
#define UACCESS_EFI
|
|
|
|
|
#define IOAPI_EFI
|
|
|
|
|
#define PCIAPI_EFI
|
|
|
|
|
#define CONSOLE_EFI
|
|
|
|
|
#define TIMER_EFI
|
|
|
|
|
#define NAP_EFIX86
|
|
|
|
|
#define UMALLOC_EFI
|
2008-12-04 23:09:48 +00:00
|
|
|
#define SMBIOS_EFI
|
2008-10-12 01:55:55 +01:00
|
|
|
|
|
|
|
|
#define IMAGE_EFI /* EFI image support */
|
2010-06-16 14:35:24 -07:00
|
|
|
#define IMAGE_SCRIPT /* iPXE script image support */
|
2008-10-12 01:55:55 +01:00
|
|
|
|
|
|
|
|
#endif /* CONFIG_DEFAULTS_EFI_H */
|