3 # CONFIG_PCI_GOXEN_FE is not set
4 CONFIG_XEN_PCIDEV_FRONTEND=y
5 # CONFIG_XEN_PCIDEV_FE_DEBUG is not set
7 CONFIG_XEN_INTERFACE_VERSION=0x00030101
9 CONFIG_XEN_PRIVILEGED_GUEST=y
10 # CONFIG_XEN_UNPRIVILEGED_GUEST is not set
11 CONFIG_XEN_PCIDEV_BACKEND=y
12 CONFIG_XEN_PCIDEV_BACKEND_VPCI=y
13 # CONFIG_XEN_PCIDEV_BACKEND_PASS is not set
14 # CONFIG_XEN_PCIDEV_BE_DEBUG is not set
15 CONFIG_XEN_BLKDEV_BACKEND=y
16 # CONFIG_XEN_BLKDEV_TAP_BE is not set
17 CONFIG_XEN_NETDEV_BACKEND=y
18 # CONFIG_XEN_NETDEV_PIPELINED_TRANSMITTER is not set
19 CONFIG_XEN_NETDEV_LOOPBACK=y
20 # CONFIG_XEN_TPMDEV_BACKEND is not set
21 CONFIG_XEN_BLKDEV_FRONTEND=y
22 CONFIG_XEN_NETDEV_FRONTEND=y
23 # CONFIG_XEN_BLKDEV_TAP is not set
24 # CONFIG_XEN_TPMDEV_FRONTEND is not set
25 CONFIG_XEN_SCRUB_PAGES=y
26 CONFIG_XEN_DISABLE_SERIAL=y