1 # CONFIG_DEBUG_PAGEALLOC is not set
2 # CONFIG_TCG_XEN is not set
3 # CONFIG_USB_STORAGE_ONETOUCH is not set
4 # CONFIG_X86_XEN is not set
5 # CONFIG_X86_64_XEN is not set
6 # CONFIG_PCI_GOXEN_FE is not set
7 CONFIG_XEN_PCIDEV_FRONTEND=y
8 # CONFIG_XEN_PCIDEV_FE_DEBUG is not set
10 CONFIG_XEN_INTERFACE_VERSION=0x00030101
12 # CONFIG_XEN_PRIVILEGED_GUEST is not set
13 # CONFIG_XEN_UNPRIVILEGED_GUEST is not set
15 CONFIG_XEN_PCIDEV_BACKEND=y
16 CONFIG_XEN_PCIDEV_BACKEND_VPCI=y
17 # CONFIG_XEN_PCIDEV_BACKEND_PASS is not set
18 # CONFIG_XEN_PCIDEV_BACKEND_SLOT is not set
19 # CONFIG_XEN_PCIDEV_BE_DEBUG is not set
20 CONFIG_XEN_BLKDEV_BACKEND=y
21 CONFIG_XEN_NETDEV_BACKEND=y
22 # CONFIG_XEN_NETDEV_PIPELINED_TRANSMITTER is not set
23 CONFIG_XEN_NETDEV_LOOPBACK=y
24 # CONFIG_XEN_TPMDEV_BACKEND is not set
25 CONFIG_XEN_BLKDEV_FRONTEND=y
26 CONFIG_XEN_NETDEV_FRONTEND=y
27 CONFIG_XEN_BLKDEV_TAP=y
28 CONFIG_XEN_SCRUB_PAGES=y
29 CONFIG_XEN_DISABLE_SERIAL=y
31 CONFIG_XEN_COMPAT_030002_AND_LATER=y
32 # CONFIG_XEN_COMPAT_LATEST_ONLY is not set