- added option for x86_64

Changed files:
    kernel-xen0.config -> 1.1.2.6.2.1
    kernel-xenU.config -> 1.1.2.4.2.1

diff --git a/kernel-xen0.config b/kernel-xen0.config
index 9b092696d65922cd5e4aaeafce3fec07e0e539d5..61f24acfe69a73cfdf858bcd89569818c703a0c3 100644 (file)
--- a/kernel-xen0.config
+++ b/kernel-xen0.config
@@ -1,4 +1,5 @@
 CONFIG_X86_XEN=y
+CONFIG_X86_64_XEN=y
 # CONFIG_PCI_GOXEN_FE is not set
 CONFIG_XEN_PCIDEV_FRONTEND=y
 # CONFIG_XEN_PCIDEV_FE_DEBUG is not set

diff --git a/kernel-xenU.config b/kernel-xenU.config
index f148869ba278c2963a3a62a99b7932628af8061c..cef6a297fe840091fed9adf3db8866374ba75ec2 100644 (file)
--- a/kernel-xenU.config
+++ b/kernel-xenU.config
@@ -1,4 +1,5 @@
 CONFIG_X86_XEN=y
+CONFIG_X86_64_XEN=y
 # CONFIG_PCI_GOXEN_FE is not set
 CONFIG_XEN_PCIDEV_FRONTEND=y
 # CONFIG_XEN_PCIDEV_FE_DEBUG is not set