How come Linux kernel 3.10 does not have Xen configuration options any more?

["Singapore Citizen Mr. Teo En Ming (Zhang Enming)" <singapore.mr.teo.en.ming@gmail.com>]

Hi,

I have just downloaded Linux kernel 3.10. I am shocked to find out that 
Linux kernel 3.10 does not have Xen configuration options any more. 
Where did they all go?

Most of the following Linux kernel configuration options are not 
available any more:

3 Configuring the kernel for dom0 support
NOTE: Xen dom0 support depends on ACPI support. Make sure you enable 
ACPI support or you
won't see Dom0 options at all.
In addition to the config options above you also need to enable:
CONFIG_X86_IO_APIC=y
CONFIG_ACPI=y
CONFIG_ACPI_PROCFS=y (optional)
CONFIG_XEN_DOM0=y
CONFIG_PCI_XEN=y
CONFIG_XEN_DEV_EVTCHN=y
CONFIG_XENFS=y
CONFIG_XEN_COMPAT_XENFS=y
CONFIG_XEN_SYS_HYPERVISOR=y
CONFIG_XEN_GNTDEV=y
CONFIG_XEN_BACKEND=y
CONFIG_XEN_NETDEV_BACKEND=m
CONFIG_XEN_BLKDEV_BACKEND=m
CONFIG_XEN_PCIDEV_BACKEND=y
CONFIG_XEN_PRIVILEGED_GUEST=y
CONFIG_XEN_BALLOON=y
CONFIG_XEN_SCRUB_PAGES=y
CONFIG_XEN_DEV_EVTCHN=y
CONFIG_XEN_GNTDEV=y

4 Configuring the kernel for domU support
1. If building 32 bit kernel make sure you have CONFIG_X86_PAE enabled 
(which is set by
selecting CONFIG_HIGHMEM64G)
non-PAE mode doesn't work in 2.6.25, and has been dropped altogether 
from 2.6.26 and newer
kernel versions.
2. Enable these core options (Processor type and features| 
Paravirtualized guest support]
CONFIG_PARAVIRT=y
CONFIG_XEN=y
CONFIG_PARAVIRT_GUEST=y
CONFIG_PARAVIRT_SPINLOCKS=y
3. And Xen pv console device support (Device Drivers|Character devices
CONFIG_HVC_DRIVER=y
CONFIG_HVC_XEN=y
4. And Xen disk and network support (Device Drivers|Block devices and 
Device Drivers|Network
device support)
CONFIG_XEN_FBDEV_FRONTEND=y
CONFIG_XEN_BLKDEV_FRONTEND=y
CONFIG_XEN_NETDEV_FRONTEND=y
5. And the rest (Device Drivers|Xen driver support)
CONFIG_XEN_PCIDEV_FRONTEND=y
CONFIG_INPUT_XEN_KBDDEV_FRONTEND=y
CONFIG_XEN_FBDEV_FRONTEND=y
CONFIG_XEN_XENBUS_FRONTEND=y
CONFIG_XEN_SAVE_RESTORE=y
CONFIG_XEN_GRANT_DEV_ALLOC=m
6. And for tmem support:
CONFIG_XEN_TMEM=y
CONFIG_CLEANCACHE=y
CONFIG_FRONTSWAP=y
CONFIG_XEN_SELFBALLOONING=y

Please advise.

Thank you very much.


-- 
Yours sincerely,

Singapore Citizen Mr. Teo En Ming (Zhang Enming)