diff options
author | Jo-Philipp Wich <jow@openwrt.org> | 2010-03-27 15:30:46 +0000 |
---|---|---|
committer | Jo-Philipp Wich <jow@openwrt.org> | 2010-03-27 15:30:46 +0000 |
commit | 045d4cb3dbca54f18c9599a8224a8d4a1d01efdd (patch) | |
tree | 283c143a7e3f52ed0dc0355353b1ba4739f23367 /target | |
parent | 3489e823b38b89745d4bf20a1604b963b0b7516a (diff) | |
download | upstream-045d4cb3dbca54f18c9599a8224a8d4a1d01efdd.tar.gz upstream-045d4cb3dbca54f18c9599a8224a8d4a1d01efdd.tar.bz2 upstream-045d4cb3dbca54f18c9599a8224a8d4a1d01efdd.zip |
[x86] Change default processor family to 486, refresh config (patch by Acinonyx)
git-svn-id: svn://svn.openwrt.org/openwrt/trunk@20516 3c298f89-4303-0410-b956-a3cf2f4a3e73
Diffstat (limited to 'target')
-rw-r--r-- | target/linux/x86/config-default | 153 |
1 files changed, 49 insertions, 104 deletions
diff --git a/target/linux/x86/config-default b/target/linux/x86/config-default index 9b20f1eabe..6310fc139f 100644 --- a/target/linux/x86/config-default +++ b/target/linux/x86/config-default @@ -3,6 +3,7 @@ CONFIG_4KSTACKS=y # CONFIG_60XX_WDT is not set # CONFIG_64BIT is not set # CONFIG_AC3200 is not set +CONFIG_ACPI=y # CONFIG_ACPI_AC is not set # CONFIG_ACPI_ASUS is not set # CONFIG_ACPI_BATTERY is not set @@ -14,21 +15,19 @@ CONFIG_ACPI_BLACKLIST_YEAR=0 # CONFIG_ACPI_DOCK is not set # CONFIG_ACPI_FAN is not set # CONFIG_ACPI_PCI_SLOT is not set -# CONFIG_ACPI_PROCESSOR_AGGREGATOR is not set CONFIG_ACPI_PROCESSOR=y -# CONFIG_ACPI_PROC_EVENT is not set +# CONFIG_ACPI_PROCESSOR_AGGREGATOR is not set # CONFIG_ACPI_PROCFS is not set # CONFIG_ACPI_PROCFS_POWER is not set +# CONFIG_ACPI_PROC_EVENT is not set # CONFIG_ACPI_SBS is not set CONFIG_ACPI_SYSFS_POWER=y CONFIG_ACPI_THERMAL=y # CONFIG_ACPI_TOSHIBA is not set # CONFIG_ACPI_WMI is not set -CONFIG_ACPI=y # CONFIG_ACQUIRE_WDT is not set # CONFIG_ADVANTECH_WDT is not set # CONFIG_ALIM1535_WDT is not set -# CONFIG_APM is not set # CONFIG_APRICOT is not set CONFIG_ARCH_DEFCONFIG="arch/x86/configs/i386_defconfig" CONFIG_ARCH_HAS_CACHE_LINE_SIZE=y @@ -51,9 +50,9 @@ CONFIG_ARCH_WANT_FRAME_POINTERS=y CONFIG_ARCH_WANT_OPTIONAL_GPIOLIB=y # CONFIG_ASUS_LAPTOP is not set # CONFIG_AT1700 is not set +CONFIG_ATA=y CONFIG_ATA_GENERIC=y CONFIG_ATA_PIIX=y -CONFIG_ATA=y # CONFIG_AUDIT_ARCH is not set CONFIG_BINFMT_MISC=y CONFIG_BITREVERSE=y @@ -67,6 +66,7 @@ CONFIG_CLOCKSOURCE_WATCHDOG=y CONFIG_COMPAT_VDSO=y CONFIG_CONSOLE_TRANSLATIONS=y # CONFIG_CPU5_WDT is not set +CONFIG_CPU_FREQ=y # CONFIG_CPU_FREQ_DEBUG is not set # CONFIG_CPU_FREQ_DEFAULT_GOV_CONSERVATIVE is not set # CONFIG_CPU_FREQ_DEFAULT_GOV_ONDEMAND is not set @@ -78,12 +78,11 @@ CONFIG_CPU_FREQ_DEFAULT_GOV_PERFORMANCE=y CONFIG_CPU_FREQ_GOV_PERFORMANCE=y # CONFIG_CPU_FREQ_GOV_POWERSAVE is not set # CONFIG_CPU_FREQ_GOV_USERSPACE is not set -CONFIG_CPU_FREQ_STAT_DETAILS=y CONFIG_CPU_FREQ_STAT=y +CONFIG_CPU_FREQ_STAT_DETAILS=y CONFIG_CPU_FREQ_TABLE=y -CONFIG_CPU_FREQ=y -CONFIG_CPU_IDLE_GOV_LADDER=y CONFIG_CPU_IDLE=y +CONFIG_CPU_IDLE_GOV_LADDER=y CONFIG_CPU_SUP_AMD=y CONFIG_CPU_SUP_CENTAUR=y CONFIG_CPU_SUP_CYRIX_32=y @@ -101,20 +100,19 @@ CONFIG_DEFAULT_IO_DELAY_TYPE=0 # CONFIG_DELL_RBU is not set # CONFIG_DEPCA is not set CONFIG_DEVPORT=y -# CONFIG_DMA_API_DEBUG is not set # CONFIG_DMAR is not set -# CONFIG_DMIID is not set CONFIG_DMI=y +# CONFIG_DMIID is not set CONFIG_DNOTIFY=y CONFIG_DOUBLEFAULT=y CONFIG_DUMMY_CONSOLE=y -# CONFIG_EARLY_PRINTK_DBGP is not set CONFIG_EARLY_PRINTK=y +# CONFIG_EARLY_PRINTK_DBGP is not set # CONFIG_EDD is not set # CONFIG_EFI is not set # CONFIG_EISA is not set -# CONFIG_EL16 is not set # CONFIG_EL1 is not set +# CONFIG_EL16 is not set # CONFIG_EL2 is not set # CONFIG_EL3 is not set CONFIG_ELF_CORE=y @@ -125,11 +123,10 @@ CONFIG_FIRMWARE_IN_KERNEL=y CONFIG_FIRMWARE_MEMMAP=y CONFIG_FIX_EARLYCON_MEM=y # CONFIG_FRAME_POINTER is not set -# CONFIG_FREEZER is not CONFIG_GENERIC_BUG=y +CONFIG_GENERIC_CLOCKEVENTS=y CONFIG_GENERIC_CLOCKEVENTS_BROADCAST=y CONFIG_GENERIC_CLOCKEVENTS_BUILD=y -CONFIG_GENERIC_CLOCKEVENTS=y CONFIG_GENERIC_CMOS_UPDATE=y # CONFIG_GENERIC_CPU is not set CONFIG_GENERIC_FIND_FIRST_BIT=y @@ -138,7 +135,6 @@ CONFIG_GENERIC_FIND_NEXT_BIT=y CONFIG_GENERIC_HARDIRQS_NO__DO_IRQ=y CONFIG_GENERIC_IOMAP=y CONFIG_GENERIC_ISA_DMA=y -# CONFIG_GENERIC_PENDING_IRQ is not set # CONFIG_GENERIC_TIME_VSYSCALL is not set # CONFIG_HANGCHECK_TIMER is not set CONFIG_HAS_DMA=y @@ -157,8 +153,8 @@ CONFIG_HAVE_EFFICIENT_UNALIGNED_ACCESS=y CONFIG_HAVE_FTRACE_MCOUNT_RECORD=y CONFIG_HAVE_FUNCTION_GRAPH_FP_TEST=y CONFIG_HAVE_FUNCTION_GRAPH_TRACER=y -CONFIG_HAVE_FUNCTION_TRACE_MCOUNT_TEST=y CONFIG_HAVE_FUNCTION_TRACER=y +CONFIG_HAVE_FUNCTION_TRACE_MCOUNT_TEST=y CONFIG_HAVE_GENERIC_DMA_COHERENT=y CONFIG_HAVE_IDE=y CONFIG_HAVE_IOREMAP_PROT=y @@ -172,46 +168,44 @@ CONFIG_HAVE_KVM=y CONFIG_HAVE_LATENCYTOP_SUPPORT=y CONFIG_HAVE_MMIOTRACE_SUPPORT=y CONFIG_HAVE_OPROFILE=y -# CONFIG_HAVE_PERF_EVENTS is not set CONFIG_HAVE_SETUP_PER_CPU_AREA=y CONFIG_HAVE_SYSCALL_TRACEPOINTS=y CONFIG_HAVE_UNSTABLE_SCHED_CLOCK=y # CONFIG_HIBERNATION is not set -CONFIG_HID_SUPPORT=y CONFIG_HID=y +CONFIG_HID_SUPPORT=y # CONFIG_HIGHMEM4G is not set # CONFIG_HIGHMEM64G is not set # CONFIG_HIGH_RES_TIMERS is not set -# CONFIG_HOTPLUG_CPU is not set +CONFIG_HPET=y CONFIG_HPET_EMULATE_RTC=y CONFIG_HPET_MMAP=y CONFIG_HPET_TIMER=y -CONFIG_HPET=y # CONFIG_HP_WATCHDOG is not set CONFIG_HT_IRQ=y # CONFIG_HUGETLBFS is not set -# CONFIG_HVC_DRIVER is not set -# CONFIG_HVC_IRQ is not set -# CONFIG_HVC_XEN is not set CONFIG_HW_CONSOLE=y +CONFIG_HW_RANDOM=y CONFIG_HW_RANDOM_GEODE=y CONFIG_HW_RANDOM_VIA=y -CONFIG_HW_RANDOM=y # CONFIG_I6300ESB_WDT is not set # CONFIG_I8K is not set # CONFIG_IB700_WDT is not set # CONFIG_IBMASR is not set # CONFIG_IMA is not set CONFIG_INITRAMFS_SOURCE="" +CONFIG_INPUT=y CONFIG_INPUT_KEYBOARD=y +CONFIG_INPUT_MOUSE=y +CONFIG_INPUT_MOUSEDEV=y CONFIG_INPUT_MOUSEDEV_PSAUX=y CONFIG_INPUT_MOUSEDEV_SCREEN_X=1024 CONFIG_INPUT_MOUSEDEV_SCREEN_Y=768 -CONFIG_INPUT_MOUSEDEV=y -CONFIG_INPUT_MOUSE=y -CONFIG_INPUT=y # CONFIG_INPUT_YEALINK is not set # CONFIG_INTEL_MENLOW is not set +# CONFIG_IOMMU_API is not set +# CONFIG_IOMMU_HELPER is not set +# CONFIG_IOMMU_STRESS is not set CONFIG_IO_DELAY_0X80=y # CONFIG_IO_DELAY_0XED is not set # CONFIG_IO_DELAY_NONE is not set @@ -220,13 +214,12 @@ CONFIG_IO_DELAY_TYPE_0XED=1 CONFIG_IO_DELAY_TYPE_NONE=3 CONFIG_IO_DELAY_TYPE_UDELAY=2 # CONFIG_IO_DELAY_UDELAY is not set -# CONFIG_IOMMU_API is not set -# CONFIG_IOMMU_HELPER is not set -# CONFIG_IOMMU_STRESS is not set -CONFIG_ISA_DMA_API=y -CONFIG_ISAPNP=y CONFIG_ISA=y +CONFIG_ISAPNP=y +CONFIG_ISA_DMA_API=y # CONFIG_ISCSI_IBFT_FIND is not set +# CONFIG_ISDN_CAPI is not set +# CONFIG_ISDN_I4L is not set # CONFIG_IT8712F_WDT is not set # CONFIG_IT87_WDT is not set # CONFIG_ITCO_WDT is not set @@ -241,15 +234,11 @@ CONFIG_KEYBOARD_ATKBD=y # CONFIG_KEYBOARD_SUNKBD is not set # CONFIG_KEYBOARD_XTKBD is not set CONFIG_KTIME_SCALAR=y -# CONFIG_KVM_CLOCK is not set -# CONFIG_KVM_GUEST is not set # CONFIG_LANCE is not set # CONFIG_LEDS_ALIX2 is not set # CONFIG_LEDS_CLEVO_MAIL is not set -# CONFIG_LGUEST_GUEST is not set -# CONFIG_LOCK_KERNEL is not set # CONFIG_M386 is not set -# CONFIG_M486 is not set +CONFIG_M486=y # CONFIG_M586 is not set # CONFIG_M586MMX is not set # CONFIG_M586TSC is not set @@ -266,15 +255,16 @@ CONFIG_MATH_EMULATION=y # CONFIG_MEMTEST is not set # CONFIG_MGEODEGX1 is not set # CONFIG_MGEODE_LX is not set +CONFIG_MICROCODE=y # CONFIG_MICROCODE_AMD is not set CONFIG_MICROCODE_INTEL=y CONFIG_MICROCODE_OLD_INTERFACE=y -CONFIG_MICROCODE=y # CONFIG_MIXCOMWD is not set # CONFIG_MK6 is not set # CONFIG_MK7 is not set # CONFIG_MK8 is not set # CONFIG_MOUSE_BCM5974 is not set +CONFIG_MOUSE_PS2=y CONFIG_MOUSE_PS2_ALPS=y # CONFIG_MOUSE_PS2_ELANTECH is not set CONFIG_MOUSE_PS2_LIFEBOOK=y @@ -282,20 +272,19 @@ CONFIG_MOUSE_PS2_LOGIPS2PP=y CONFIG_MOUSE_PS2_SYNAPTICS=y # CONFIG_MOUSE_PS2_TOUCHKIT is not set CONFIG_MOUSE_PS2_TRACKPOINT=y -CONFIG_MOUSE_PS2=y # CONFIG_MOUSE_SERIAL is not set # CONFIG_MOUSE_VSXXXAA is not set # CONFIG_MPENTIUM4 is not set -# CONFIG_MPENTIUMIII is not set # CONFIG_MPENTIUMII is not set +# CONFIG_MPENTIUMIII is not set # CONFIG_MPENTIUMM is not set # CONFIG_MPSC is not set CONFIG_MTD_BLOCK2MTD=y # CONFIG_MTD_CFI is not set # CONFIG_MTD_COMPLEX_MAPPINGS is not set # CONFIG_MTD_TS5500 is not set -# CONFIG_MTRR_SANITIZER is not set CONFIG_MTRR=y +# CONFIG_MTRR_SANITIZER is not set # CONFIG_MVIAC3_2 is not set # CONFIG_MVIAC7 is not set # CONFIG_MWINCHIP3D is not set @@ -307,9 +296,8 @@ CONFIG_NEED_PER_CPU_PAGE_FIRST_CHUNK=y CONFIG_NET_VENDOR_3COM=y # CONFIG_NET_VENDOR_RACAL is not set # CONFIG_NET_VENDOR_SMC is not set -CONFIG_NETWORK_FILESYSTEMS=y CONFIG_NOHIGHMEM=y -# CONFIG_NR_CPUS is not set +CONFIG_NR_CPUS=1 # CONFIG_NSC_GPIO is not set CONFIG_NVRAM=y # CONFIG_OLPC is not set @@ -317,10 +305,7 @@ CONFIG_NVRAM=y CONFIG_OUTPUT_FORMAT="elf32-i386" CONFIG_PAGEFLAGS_EXTENDED=y CONFIG_PAGE_OFFSET=0xC0000000 -# CONFIG_PARAVIRT_CLOCK is not set # CONFIG_PARAVIRT_GUEST is not set -# CONFIG_PARAVIRT is not set -# CONFIG_PARAVIRT_SPINLOCKS is not set CONFIG_PATA_AMD=y CONFIG_PATA_MPIIX=y CONFIG_PATA_OLDPIIX=y @@ -329,10 +314,10 @@ CONFIG_PATA_VIA=y # CONFIG_PC8736x_GPIO is not set # CONFIG_PC87413_WDT is not set CONFIG_PCI=y +# CONFIG_PCIEPORTBUS is not set CONFIG_PCI_BIOS=y CONFIG_PCI_DIRECT=y CONFIG_PCI_DOMAINS=y -# CONFIG_PCIEPORTBUS is not set CONFIG_PCI_GOANY=y # CONFIG_PCI_GOBIOS is not set # CONFIG_PCI_GODIRECT is not set @@ -343,28 +328,20 @@ CONFIG_PCI_MSI=y CONFIG_PCSPKR_PLATFORM=y # CONFIG_PCWATCHDOG is not set # CONFIG_PDA_POWER is not set -# CONFIG_PERF_COUNTERS is not set -# CONFIG_PERF_EVENTS is not set -# CONFIG_PHYS_ADDR_T_64BIT is not set CONFIG_PHYSICAL_ALIGN=0x100000 CONFIG_PHYSICAL_START=0x1000000 +CONFIG_PM=y # CONFIG_PM_DEBUG is not set # CONFIG_PM_RUNTIME is not set -# CONFIG_PM_SLEEP is not set -# CONFIG_PM_SLEEP_SMP is not set -CONFIG_PM=y +CONFIG_PNP=y CONFIG_PNPACPI=y # CONFIG_PNPBIOS is not set CONFIG_PNP_DEBUG_MESSAGES=y -CONFIG_PNP=y -# CONFIG_POWER_SUPPLY_DEBUG is not set CONFIG_POWER_SUPPLY=y +# CONFIG_POWER_SUPPLY_DEBUG is not set # CONFIG_PROCESSOR_SELECT is not set CONFIG_PROC_PAGE_MONITOR=y # CONFIG_PROVIDE_OHCI1394_DMA_INIT is not set -CONFIG_RCU_FANOUT=32 -# CONFIG_RCU_FANOUT_EXACT is not set -# CONFIG_RCU_TRACE is not set CONFIG_RD_BZIP2=y CONFIG_RD_GZIP=y # CONFIG_RELOCATABLE is not set @@ -377,38 +354,33 @@ CONFIG_RWSEM_XCHGADD_ALGORITHM=y # CONFIG_SC1200_WDT is not set # CONFIG_SC520_WDT is not set # CONFIG_SCHED_HRTICK is not set -# CONFIG_SCHED_MC is not set CONFIG_SCHED_OMIT_FRAME_POINTER=y -# CONFIG_SCHED_SMT is not set CONFIG_SCSI=y -# CONFIG_SCx200_GPIO is not set +CONFIG_SCx200=y CONFIG_SCx200HR_TIMER=y +# CONFIG_SCx200_GPIO is not set # CONFIG_SCx200_WDT is not set -CONFIG_SCx200=y # CONFIG_SERIAL_8250_EXTENDED is not set CONFIG_SERIAL_8250_PCI=y CONFIG_SERIAL_8250_PNP=y +CONFIG_SERIO=y # CONFIG_SERIO_CT82C710 is not set CONFIG_SERIO_I8042=y CONFIG_SERIO_LIBPS2=y # CONFIG_SERIO_PCIPS2 is not set # CONFIG_SERIO_RAW is not set CONFIG_SERIO_SERPORT=y -CONFIG_SERIO=y # CONFIG_SLAB is not set -# CONFIG_SLUB_DEBUG_ON is not set +CONFIG_SLUB=y CONFIG_SLUB_DEBUG=y +# CONFIG_SLUB_DEBUG_ON is not set # CONFIG_SLUB_STATS is not set -CONFIG_SLUB=y -# CONFIG_SMP is not set # CONFIG_SMSC37B787_WDT is not set # CONFIG_SMSC_SCH311X_WDT is not set -# CONFIG_SPARSE_IRQ is not set CONFIG_SPARSEMEM_STATIC=y -# CONFIG_STOP_MACHINE is not set +# CONFIG_SPARSE_IRQ is not set CONFIG_STRICT_DEVMEM=y # CONFIG_SUSPEND is not set -# CONFIG_SYS_HYPERVISOR is not set # CONFIG_TC1100_WMI is not set # CONFIG_TELCLOCK is not set CONFIG_THERMAL=y @@ -420,65 +392,54 @@ CONFIG_TREE_RCU=y # CONFIG_TYPHOON is not set CONFIG_UID16=y CONFIG_USB_SUPPORT=y -# CONFIG_USE_GENERIC_SMP_HELPERS is not set # CONFIG_USER_NS is not set CONFIG_USER_STACKTRACE_SUPPORT=y # CONFIG_VGACON_SOFT_SCROLLBACK is not set CONFIG_VGA_CONSOLE=y CONFIG_VM86=y CONFIG_VM_EVENT_COUNTERS=y -# CONFIG_VMI is not set # CONFIG_VORTEX is not set +CONFIG_VT=y CONFIG_VT_CONSOLE=y # CONFIG_VT_HW_CONSOLE_BINDING is not set -CONFIG_VT=y # CONFIG_W83697UG_WDT is not set # CONFIG_WAFER_WDT is not set # CONFIG_WDT is not set -CONFIG_X86_32_LAZY_GS=y -# CONFIG_X86_32_SMP is not set +CONFIG_X86=y CONFIG_X86_32=y +CONFIG_X86_32_LAZY_GS=y # CONFIG_X86_64 is not set # CONFIG_X86_ACPI_CPUFREQ is not set +CONFIG_X86_ALIGNMENT_16=y # CONFIG_X86_ANCIENT_MCE is not set -# CONFIG_X86_BIGSMP is not set CONFIG_X86_BSWAP=y # CONFIG_X86_CHECK_BIOS_CORRUPTION is not set -# CONFIG_X86_CMOV is not set -# CONFIG_X86_CMPXCHG64 is not set CONFIG_X86_CMPXCHG=y -# CONFIG_X86_CPU_DEBUG is not set +CONFIG_X86_CPU=y # CONFIG_X86_CPUFREQ_NFORCE2 is not set # CONFIG_X86_CPUID is not set -CONFIG_X86_CPU=y -# CONFIG_X86_DEBUGCTLMSR is not set -# CONFIG_X86_DS is not set -# CONFIG_X86_ELAN is not set -# CONFIG_X86_E_POWERSAVER is not set # CONFIG_X86_EXTENDED_PLATFORM is not set +# CONFIG_X86_E_POWERSAVER is not set CONFIG_X86_F00F_BUG=y CONFIG_X86_GENERIC=y # CONFIG_X86_GX_SUSPMOD is not set -# CONFIG_X86_HT is not set CONFIG_X86_INTEL_USERCOPY=y CONFIG_X86_INTERNODE_CACHE_BYTES=64 CONFIG_X86_INVLPG=y CONFIG_X86_IO_APIC=y CONFIG_X86_L1_CACHE_BYTES=64 -CONFIG_X86_L1_CACHE_SHIFT=6 +CONFIG_X86_L1_CACHE_SHIFT=4 CONFIG_X86_LOCAL_APIC=y # CONFIG_X86_LONGHAUL is not set # CONFIG_X86_LONGRUN is not set +CONFIG_X86_MCE=y CONFIG_X86_MCE_AMD=y # CONFIG_X86_MCE_INJECT is not set CONFIG_X86_MCE_INTEL=y CONFIG_X86_MCE_THRESHOLD=y -CONFIG_X86_MCE=y CONFIG_X86_MINIMUM_CPU_FAMILY=4 CONFIG_X86_MPPARSE=y -# CONFIG_X86_MRST is not set # CONFIG_X86_MSR is not set -# CONFIG_X86_OLD_MCE is not set # CONFIG_X86_P4_CLOCKMOD is not set # CONFIG_X86_PAE is not set CONFIG_X86_PAT=y @@ -489,7 +450,6 @@ CONFIG_X86_POPAD_OK=y # CONFIG_X86_POWERNOW_K7 is not set # CONFIG_X86_POWERNOW_K8 is not set CONFIG_X86_PPRO_FENCE=y -# CONFIG_X86_RDC321X is not set # CONFIG_X86_REBOOTFIXUPS is not set CONFIG_X86_REROUTE_FOR_BROKEN_BOOT_IRQS=y CONFIG_X86_RESERVE_LOW_64K=y @@ -499,24 +459,9 @@ CONFIG_X86_RESERVE_LOW_64K=y # CONFIG_X86_SPEEDSTEP_SMI is not set CONFIG_X86_SUPPORTS_MEMORY_FAILURE=y CONFIG_X86_THERMAL_VECTOR=y -# CONFIG_X86_TRAMPOLINE is not set -# CONFIG_X86_TSC is not set CONFIG_X86_UP_APIC=y CONFIG_X86_UP_IOAPIC=y -# CONFIG_X86_USE_PPRO_CHECKSUM is not set CONFIG_X86_VERBOSE_BOOTUP=y CONFIG_X86_WP_WORKS_OK=y CONFIG_X86_XADD=y -CONFIG_X86=y -# CONFIG_XEN_BALLOON is not set -# CONFIG_XEN_BLKDEV_FRONTEND is not set -# CONFIG_XEN_DEBUG_FS is not set -# CONFIG_XEN_DEV_EVTCHN is not set -# CONFIG_XENFS is not set -# CONFIG_XEN is not set -# CONFIG_XEN_MAX_DOMAIN_MEMORY is not set -# CONFIG_XEN_NETDEV_FRONTEND is not set -# CONFIG_XEN_SAVE_RESTORE is not set -# CONFIG_XEN_SCRUB_PAGES is not set -# CONFIG_XEN_SYS_HYPERVISOR is not set # CONFIG_ZONE_DMA32 is not set |