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