2013-07-09 17:01:52 +02:00
|
|
|
#ifndef CONFIG_SETTINGS_H
|
|
|
|
#define CONFIG_SETTINGS_H
|
|
|
|
|
|
|
|
/** @file
|
|
|
|
*
|
|
|
|
* Configuration settings sources
|
|
|
|
*
|
|
|
|
*/
|
|
|
|
|
2015-03-02 12:54:40 +01:00
|
|
|
FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
|
2013-07-09 17:01:52 +02:00
|
|
|
|
2013-07-09 17:03:35 +02:00
|
|
|
#define PCI_SETTINGS /* PCI device settings */
|
2013-08-06 20:16:30 +02:00
|
|
|
//#define CPUID_SETTINGS /* CPUID settings */
|
2013-08-12 14:42:12 +02:00
|
|
|
//#define MEMMAP_SETTINGS /* Memory map settings */
|
2013-07-09 17:01:52 +02:00
|
|
|
//#define VMWARE_SETTINGS /* VMware GuestInfo settings */
|
2015-04-24 17:05:59 +02:00
|
|
|
//#define VRAM_SETTINGS /* Video RAM dump settings */
|
2017-05-23 16:44:22 +02:00
|
|
|
//#define ACPI_SETTINGS /* ACPI settings */
|
2013-07-09 17:01:52 +02:00
|
|
|
|
2014-08-19 17:17:25 +02:00
|
|
|
#include <config/named.h>
|
|
|
|
#include NAMED_CONFIG(settings.h)
|
2013-07-09 17:01:52 +02:00
|
|
|
#include <config/local/settings.h>
|
2014-08-19 17:17:25 +02:00
|
|
|
#include LOCAL_NAMED_CONFIG(settings.h)
|
2013-07-09 17:01:52 +02:00
|
|
|
|
|
|
|
#endif /* CONFIG_SETTINGS_H */
|