ia64/linux-2.6.18-xen.hg

view buildconfigs/conf.linux-native/00_xen_to_native @ 647:a5bb490065f6

Fix the build after public header sync.
Signed-off-by: Keir Fraser <keir.fraser@citrix.com>
author Keir Fraser <keir.fraser@citrix.com>
date Wed Aug 13 14:01:49 2008 +0100 (2008-08-13)
parents 28b48e63eba6
children
line source
1 # Linux kernel version: 2.6.16.13-native
2 # Mon May 15 10:59:54 2006
3 #
4 CONFIG_X86_PC=y
5 # CONFIG_X86_XEN is not set
6 # CONFIG_HPET_TIMER is not set
7 # CONFIG_SCHED_SMT is not set
8 # CONFIG_X86_MCE is not set
9 # CONFIG_X86_MSR is not set
10 # CONFIG_SWIOTLB is not set
11 # CONFIG_EDD is not set
12 CONFIG_ARCH_FLATMEM_ENABLE=y
13 CONFIG_ARCH_SPARSEMEM_ENABLE=y
14 CONFIG_ARCH_SELECT_MEMORY_MODEL=y
15 CONFIG_SPARSEMEM_STATIC=y
16 CONFIG_SPLIT_PTLOCK_CPUS=4
17 # CONFIG_HIGHPTE is not set
18 # CONFIG_MATH_EMULATION is not set
19 # CONFIG_EFI is not set
20 CONFIG_IRQBALANCE=y
21 # CONFIG_KEXEC is not set
22 CONFIG_DOUBLEFAULT=y
23 CONFIG_PM_LEGACY=y
24 # CONFIG_PM_DEBUG is not set
25 # CONFIG_SOFTWARE_SUSPEND is not set
26 CONFIG_SUSPEND_SMP=y
27 CONFIG_ACPI_SLEEP=y
28 CONFIG_ACPI_SLEEP_PROC_FS=y
29 # CONFIG_ACPI_SLEEP_PROC_SLEEP is not set
30 CONFIG_X86_PM_TIMER=y
31 # APM (Advanced Power Management) BIOS Support
32 #
33 # CONFIG_APM is not set
35 #
36 CONFIG_PCI_BIOS=y
37 # CONFIG_XEN_PCIDEV_FRONTEND is not set
38 # CONFIG_XEN_PCIDEV_FE_DEBUG is not set
39 # CONFIG_PCI_MSI is not set
40 # CONFIG_ISA is not set
41 # CONFIG_MCA is not set
42 # CONFIG_HOTPLUG_PCI_COMPAQ is not set
43 # CONFIG_HOTPLUG_PCI_IBM is not set
44 # CONFIG_I2O_EXT_ADAPTEC_DMA64 is not set
45 CONFIG_SERIAL_8250=y
46 CONFIG_SERIAL_8250_CONSOLE=y
47 CONFIG_SERIAL_CORE=y
48 CONFIG_SERIAL_CORE_CONSOLE=y
49 # CONFIG_TCG_XEN is not set
50 # CONFIG_HUGETLBFS is not set
51 # CONFIG_XEN is not set
52 # CONFIG_XEN_INTERFACE_VERSION is not set
54 #
55 # XEN
56 #
57 # CONFIG_XEN_PRIVILEGED_GUEST is not set
58 # CONFIG_XEN_UNPRIVILEGED_GUEST is not set
59 # CONFIG_XEN_BACKEND is not set
60 # CONFIG_XEN_PCIDEV_BACKEND is not set
61 # CONFIG_XEN_PCIDEV_BACKEND_VPCI is not set
62 # CONFIG_XEN_PCIDEV_BACKEND_PASS is not set
63 # CONFIG_XEN_PCIDEV_BE_DEBUG is not set
64 # CONFIG_XEN_BLKDEV_BACKEND is not set
65 # CONFIG_XEN_BLKDEV_TAP_BE is not set
66 # CONFIG_XEN_NETDEV_BACKEND is not set
67 # CONFIG_XEN_NETDEV_PIPELINED_TRANSMITTER is not set
68 # CONFIG_XEN_NETDEV_LOOPBACK is not set
69 # CONFIG_XEN_TPMDEV_BACKEND is not set
70 # CONFIG_XEN_BLKDEV_FRONTEND is not set
71 # CONFIG_XEN_NETDEV_FRONTEND is not set
72 # CONFIG_XEN_BLKDEV_TAP is not set
73 # CONFIG_XEN_SCRUB_PAGES is not set
74 # CONFIG_XEN_DISABLE_SERIAL is not set
75 # CONFIG_XEN_SYSFS is not set
76 # CONFIG_XEN_COMPAT_030002_AND_LATER is not set
77 # CONFIG_XEN_COMPAT_030004_AND_LATER is not set
78 # CONFIG_XEN_COMPAT_LATEST_ONLY is not set
79 # CONFIG_XEN_COMPAT_030002 is not set
80 # CONFIG_XEN_COMPAT_030004 is not set
81 # CONFIG_HAVE_ARCH_ALLOC_SKB is not set
82 # CONFIG_HAVE_ARCH_DEV_ALLOC_SKB is not set
83 # CONFIG_NO_IDLE_HZ is not set
84 CONFIG_X86_HT=y
85 # CONFIG_X86_NO_TSS is not set
86 # CONFIG_X86_NO_IDT is not set