settings.h

Go to the documentation of this file.

#ifndef CONFIG_SETTINGS_H
#define CONFIG_SETTINGS_H

/** @file
 *
 * Configuration settings sources
 *
 */

FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );

#include <config/defaults.h>

#define PCI_SETTINGS    /* PCI device settings */
#define USB_SETTINGS    /* USB device settings */
//#define       CPUID_SETTINGS  /* CPUID settings */
//#define       MEMMAP_SETTINGS /* Memory map settings */
//#define       VMWARE_SETTINGS /* VMware GuestInfo settings */
//#define       VRAM_SETTINGS   /* Video RAM dump settings */
//#define       ACPI_SETTINGS   /* ACPI settings */

#include <config/named.h>
#include NAMED_CONFIG(settings.h)
#include <config/local/settings.h>
#include LOCAL_NAMED_CONFIG(settings.h)

#endif /* CONFIG_SETTINGS_H */