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