ar71xx: create factory images for the WZR-HP-G30{0,1}NH boards
[openwrt.git] / target / linux / x86 / xen_domu / config-default
1 # CONFIG_APM is not set
2 CONFIG_ARCH_PHYS_ADDR_T_64BIT=y
3 CONFIG_CPU_SUP_AMD=y
4 CONFIG_CPU_SUP_CENTAUR=y
5 CONFIG_CPU_SUP_CYRIX_32=y
6 CONFIG_CPU_SUP_INTEL=y
7 CONFIG_CPU_SUP_TRANSMETA_32=y
8 CONFIG_CPU_SUP_UMC_32=y
9 CONFIG_FREEZER=y
10 CONFIG_GENERIC_PENDING_IRQ=y
11 CONFIG_HAVE_PERF_EVENTS=y
12 CONFIG_HOTPLUG_CPU=y
13 CONFIG_HVC_DRIVER=y
14 CONFIG_HVC_IRQ=y
15 CONFIG_HVC_XEN=y
16 CONFIG_ISA_DMA_API=y
17 # CONFIG_KVM_CLOCK is not set
18 # CONFIG_KVM_GUEST is not set
19 # CONFIG_LGUEST_GUEST is not set
20 CONFIG_LOCK_KERNEL=y
21 # CONFIG_M486 is not set
22 CONFIG_MPENTIUM4=y
23 CONFIG_NR_CPUS=4
24 CONFIG_PARAVIRT=y
25 CONFIG_PARAVIRT_CLOCK=y
26 CONFIG_PARAVIRT_GUEST=y
27 CONFIG_PARAVIRT_SPINLOCKS=y
28 CONFIG_PHYS_ADDR_T_64BIT=y
29 CONFIG_PM_SLEEP=y
30 CONFIG_PM_SLEEP_SMP=y
31 CONFIG_SCHED_MC=y
32 # CONFIG_SCHED_SMT is not set
33 CONFIG_SMP=y
34 CONFIG_SPARSE_IRQ=y
35 CONFIG_STOP_MACHINE=y
36 CONFIG_SYS_HYPERVISOR=y
37 CONFIG_USE_GENERIC_SMP_HELPERS=y
38 # CONFIG_VMI is not set
39 CONFIG_X86_32_SMP=y
40 # CONFIG_X86_BIGSMP is not set
41 CONFIG_X86_CMOV=y
42 CONFIG_X86_CMPXCHG64=y
43 CONFIG_X86_DEBUGCTLMSR=y
44 # CONFIG_X86_DS is not set
45 CONFIG_X86_HT=y
46 CONFIG_X86_L1_CACHE_SHIFT=7
47 CONFIG_X86_MINIMUM_CPU_FAMILY=5
48 CONFIG_X86_PAE=y
49 CONFIG_X86_TRAMPOLINE=y
50 CONFIG_X86_TSC=y
51 CONFIG_X86_USE_PPRO_CHECKSUM=y
52 CONFIG_XEN=y
53 # CONFIG_XENFS is not set
54 CONFIG_XEN_BALLOON=y
55 CONFIG_XEN_BLKDEV_FRONTEND=y
56 CONFIG_XEN_DEBUG_FS=y
57 # CONFIG_XEN_DEV_EVTCHN is not set
58 CONFIG_XEN_MAX_DOMAIN_MEMORY=8
59 # CONFIG_XEN_NETDEV_FRONTEND is not set
60 CONFIG_XEN_SAVE_RESTORE=y
61 CONFIG_XEN_SCRUB_PAGES=y
62 CONFIG_XEN_SYS_HYPERVISOR=y
This page took 0.04706 seconds and 5 git commands to generate.