EXTRA_FIRMWARE all=""
DEBUG_DRIVER all=n
DEBUG_DEVRES all=n
-SYS_HYPERVISOR all=n
#- file drivers/base/regmap/Kconfig goes here
#-
ATA_OVER_ETH all=m
SUNVDC sparc64=m
#- file drivers/s390/block/Kconfig goes here
+XEN_BLKDEV_FRONTEND all=m
+XEN_BLKDEV_BACKEND all=m
VIRTIO_BLK all=m
BLK_DEV_HD all=n
BLK_DEV_RBD all=m
INPUT_ADXL34X_SPI all=m
INPUT_CMA3000 all=m
INPUT_CMA3000_I2C all=m
+INPUT_XEN_KBDDEV_FRONTEND all=m
#-
#- *** FILE: drivers/input/mouse/Kconfig ***
#- file drivers/ieee802154/Kconfig goes here
#- file drivers/s390/net/Kconfig goes here
#- file drivers/net/caif/Kconfig goes here
+XEN_NETDEV_FRONTEND all=m
+XEN_NETDEV_BACKEND all=m
ISERIES_VETH ppc64=n
RIONET all=m
RIONET_TX_SIZE all=128
PCI_MSI all=y sparc64=n
PCI_DEBUG all=n
PCI_STUB all=m
+XEN_PCIDEV_FRONTEND all=m
HT_IRQ i386=y x86_64=y
PCI_IOV all=y
PCI_LABEL all=y
HVC_ISERIES ppc64=n
HVC_RTAS ppc=y ppc64=y
HVC_BEAT ppc64=n
+HVC_XEN all=y
HVC_UDBG all=n
HVCS ppc64=n
FB_PS3 ppc64=y
FB_PS3_DEFAULT_SIZE_M ppc64=18
FB_VIRTUAL all=n
+XEN_FBDEV_FRONTEND all=m
FB_METRONOME all=m
FB_MB862XX all=m
FB_MB862XX_PCI_GDC all=y
WATCHDOG_RTAS ppc=m ppc64=m
WATCHDOG_CP1XXX sparc64=m
WATCHDOG_RIO sparc64=m
+XEN_WDT all=m
#- ISA-based Watchdog Cards
PCWATCHDOG alpha=m i386=m
MIXCOMWD alpha=m i386=m
#- USB-based Watchdog Cards
USBPCWATCHDOG all=m
+#-
+#- *** FILE: drivers/xen/Kconfig ***
+#-
+XEN_BALLOON all=y
+XEN_SELFBALLOONING all=y
+XEN_BALLOON_MEMORY_HOTPLUG all=y
+XEN_SCRUB_PAGES all=y
+XEN_DEV_EVTCHN all=m
+XEN_BACKEND all=y
+XENFS all=m
+XEN_COMPAT_XENFS all=y
+XEN_SYS_HYPERVISOR all=y
+XEN_GNTDEV all=m
+XEN_GRANT_DEV_ALLOC all=m
+XEN_PLATFORM_PCI all=m
+XEN_PCIDEV_BACKEND all=m
+
#-
#- *** FILE: fs/9p/Kconfig ***
#-
#-
#- *** FILE: security/Kconfig ***
#-
+#- file grsecurity/Kconfig goes here
KEYS all=y
TRUSTED_KEYS all=m
ENCRYPTED_KEYS all=m
X86_SUMMIT i386=n
X86_ES7000 i386=n
SCHED_OMIT_FRAME_POINTER i386=y x86_64=y
-PARAVIRT_GUEST x86=n
+PARAVIRT_GUEST x86=y
+PARAVIRT_TIME_ACCOUNTING x86=y
#- file arch/x86/xen/Kconfig goes here
+KVM_CLOCK x86=y
+KVM_GUEST x86=y
#- file arch/x86/lguest/Kconfig goes here
PARAVIRT i386=y
+PARAVIRT_SPINLOCKS x86=n
+PARAVIRT_DEBUG x86=n
NO_BOOTMEM x86=y
MEMTEST x86=n
#- file arch/x86/Kconfig.cpu goes here
GART_IOMMU x86_64=y
CALGARY_IOMMU x86_64=y
CALGARY_IOMMU_ENABLED_BY_DEFAULT x86_64=y
-AMD_IOMMU x86_64=y
-AMD_IOMMU_STATS x86_64=n
MAXSMP i386=n x86_64=n
NR_CPUS x86=32
SCHED_SMT x86=y
PCI_GODIRECT i386=n
PCI_GOANY i386=y
PCI_MMCONFIG x86=y
-DMAR x86=n
-INTR_REMAP x86_64=n
#- file drivers/pci/pcie/Kconfig goes here
#- file drivers/pci/Kconfig goes here
ISA i386=y
KVM_MMU_AUDIT x86=y
#- file drivers/vhost/Kconfig goes here
#- file drivers/lguest/Kconfig goes here
-#- file drivers/virtio/Kconfig goes here
#-
#- *** FILE: arch/x86/xen/Kconfig ***
#-
-XEN i386=n
+XEN x86=y
+XEN_DEBUG_FS x86=n
+XEN_DEBUG x86=n
#-
#- *** FILE: drivers/cpufreq/Kconfig.x86 ***
#- shared options
X86_SPEEDSTEP_RELAXED_CAP_CHECK i386=y
+#-
+#- *** FILE: drivers/iommu/Kconfig ***
+#-
+AMD_IOMMU x86_64=y
+AMD_IOMMU_STATS x86_64=n
+DMAR x86=n
+INTR_REMAP x86_64=n
+
#-
#- *** FILE: kernel/irq/Kconfig ***
#-