iPXE
settings.h
Go to the documentation of this file.
1 #ifndef CONFIG_SETTINGS_H
2 #define CONFIG_SETTINGS_H
3 
4 /** @file
5  *
6  * Configuration settings sources
7  *
8  */
9 
10 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
11 FILE_SECBOOT ( PERMITTED );
12 
13 #include <config/defaults.h>
14 
15 /* Settings sources supported on all platforms */
16 #define ACPI_SETTINGS /* ACPI settings */
17 #define PCI_SETTINGS /* PCI device settings */
18 #define USB_SETTINGS /* USB device settings */
19 
20 /* Settings sources supported only on EFI platforms */
21 #if defined ( PLATFORM_efi )
22  #define EFI_SETTINGS /* EFI variable settings */
23 #endif
24 
25 /* Settings sources supported only when memory maps are available */
26 #if ! defined ( MEMMAP_NULL )
27  //#define MEMMAP_SETTINGS /* Memory map settings */
28 #endif
29 
30 /* Settings sources supported only on x86 CPUs */
31 #if defined ( __i386__ ) || defined ( __x86_64__ )
32  #define CPUID_SETTINGS /* CPUID settings */
33  //#define VMWARE_SETTINGS /* VMware GuestInfo settings */
34  //#define VRAM_SETTINGS /* Video RAM dump settings */
35 #endif
36 
37 /* Disable settings sources not historically included in BIOS builds */
38 #if defined ( PLATFORM_pcbios )
39  #undef ACPI_SETTINGS
40  #undef CPUID_SETTINGS
41 #endif
42 
43 #include <config/named.h>
44 #include NAMED_CONFIG(settings.h)
45 #include <config/local/settings.h>
46 #include LOCAL_NAMED_CONFIG(settings.h)
47 
48 #endif /* CONFIG_SETTINGS_H */
Named configurations.
FILE_SECBOOT(PERMITTED)
FILE_LICENCE(GPL2_OR_LATER_OR_UBDL)