diff options
-rw-r--r-- | target/linux/x86/config-default | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/target/linux/x86/config-default b/target/linux/x86/config-default index 0a66825a1..0b0981b89 100644 --- a/target/linux/x86/config-default +++ b/target/linux/x86/config-default @@ -5,6 +5,8 @@ CONFIG_4KSTACKS=y # CONFIG_AC3200 is not set # CONFIG_ACPI is not set # CONFIG_ACPI_CMPC is not set +# CONFIG_ACPI_EC_DEBUGFS is not set +# CONFIG_ACPI_QUICKSTART is not set # CONFIG_ACQUIRE_WDT is not set # CONFIG_ADVANTECH_WDT is not set # CONFIG_ALIM1535_WDT is not set @@ -176,6 +178,7 @@ CONFIG_HW_RANDOM_VIA=y # CONFIG_IMA is not set CONFIG_INITRAMFS_SOURCE="" # CONFIG_INPUT is not set +# CONFIG_INTEL_IPS is not set # CONFIG_INTEL_MENLOW is not set # CONFIG_IOMMU_API is not set # CONFIG_IOMMU_HELPER is not set @@ -259,6 +262,7 @@ CONFIG_NR_CPUS=1 # CONFIG_NSC_GPIO is not set CONFIG_NVRAM=y # CONFIG_OLPC is not set +# CONFIG_OLPC_OPENFIRMWARE is not set # CONFIG_OPTIMIZE_INLINING is not set CONFIG_OUTPUT_FORMAT="elf32-i386" CONFIG_PAGEFLAGS_EXTENDED=y |